数理論理学 - Wikipedia数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学[1][2]、記号論理学[1][2]、数学基礎論[3]、超数学[4]は、数学の分野の一つであり[4]、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す[3][注 1]。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学[4]や理論計算機科学などがある[注 2][注 3]。 数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくにACM Classification（英語版）に現れるもの）
