数すう学がく基き礎そ論ろん

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.