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