noun
foundations of mathematics
Academic field studying the logical and philosophical basis of mathematics, including set theory, proof theory, and model theory.
彼は大学で数学基礎論を専攻している。
He is majoring in foundations of mathematics at university.
数学基礎論の講義
Lectures on foundations of mathematics are difficult but interesting.