数理論理学(すうりろんりがく、英 : mathematical logic)または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学(数学基礎論)と密接に関連している分野としてはコンピュータ科学(計算機科学)や理論コンピュータ科学(理論計算機科学)などがある。 前現代の論理学については「伝統的論理学」を参照 数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としてはの表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理やに関する結果を共有している。計算機科学(とくにに現れるもの)における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。