数学基礎論

は、現在の日本では、もっぱら数理論理学（mathematical logic）を指す言葉として使われる。

 概要 

 数学書での解説 
 新井敏康『数学基礎論 Mathematical Logic』（増補版）：「基礎的な概念に十分に満足のいく数学的定義を与え, 現在も発展している数学の一分野である」

 数学辞典での解説 
 『岩波　数学入門辞典』：数理論理学や超数学（metamathematics、メタ数学）とほぼ同義であり、「論理を扱う数学の一分野」。
 『岩波　数学辞典』：「数学基礎論 … mathematical logic and foundations of mathematics … 数学基礎論はこの形式化の構文論的側面と意味論的側面の双方からの視点を意識した研究の行われる分野である． … 近年はより適切に数理論理学と呼ばれることも多くなった」．

 百科事典での解説 
 『Encyclopedia Britannica（ブリタニカ百科事典）』：「要約 … 数学基礎論とは、数学理論の本質および数学手法の範囲に対する科学的探究。数学基礎論は、論理的および哲学的な数学基礎に対する探究としてのユークリッド『原論』と共に始まった──突き詰めると、（ユークリッド幾何学であれ微積分学であれ）あらゆる体系の公理がその完全性と一貫性を保証できるかどうかである」。

 歴史 
かつてはヒルベルトとベルナイスの『数学の基礎』に基づき、ヒルベルト・プログラムによって数学の諸体系の無矛盾性証明を行う超数学 (metamathematics) としての証明論を指す言葉であった竹内外史・八杉満利子『数学基礎論』共立出版（1956年、初版）。

 脚注 

 注釈 

 出典 

 参考文献 




 数学辞典 



 関連項目 
 数学
 数学基礎論/数理論理学/現代論理学/記号論理学
 公理的集合論 - 幾何学基礎論
 計算機科学/コンピュータ科学/情報科学 - 理論計算機科学
 計算理論/計算論
 停止性問題#不完全性定理との関係 - チューリング機械
 計算量理論/計算複雑性理論 - 計算可能性理論
 論理学 - 数学の哲学

*
Category:数理論理学
Category:数学に関する記事
Category:計算機科学
Category:理論計算機科学
Category:計算理論
Category:論理学
Category:数学の哲学