超数学
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2011年11月) |
![]() | この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年8月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
超数学(ちょうすうがく)あるいはメタ数学(メタすうがく、英語: metamathematics[1])とは、数学自体を研究対象とした数学のこと。超数学という語を初めて用いたのはヒルベルトであり、彼は数学の無矛盾性や完全性を問題とした。ゲーデルの完全性定理や不完全性定理はその例である。
脚注
関連項目
メタ数学と同じ種類の言葉
- メタ数学のページへのリンク