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