超数学

超数学（ちょうすうがく）あるいはメタ数学（メタすうがく、）とは、数学自体を研究対象とした数学のこと。超数学という語を初めて用いたのはヒルベルトであり、彼は数学の無矛盾性や完全性を問題とした。ゲーデルの完全性定理や不完全性定理はその例である。

脚注

参考文献

関連項目 

 メタ
 数学の哲学
 証明論
 ヒルベルト・プログラム

外部リンク  

数理論理学
数学に関する記事