数学基礎論
https://ja.wikipedia.org/wiki/数学基礎論
foundations of mathematics
現在の日本では、もっぱら数理論理学（mathematical logic）を指す言葉として使われる