数学基礎論
数学基礎論(すうがくきそろん、英: foundations of mathematics, mathematical logic and foundations of mathematics)は、現在の日本では、もっぱら数理論理学(mathematical logic)を指す言葉として使われる。