超ちょう数すう学がく

noun

metamathematics

Academic term for the mathematical study of mathematics itself, including proof theory and formal systems.

• 超ちょう数すう学がくは数すう学がくの基き礎そを研けん究きゅうする分ぶん野やだ。

  Metamathematics is a field that studies the foundations of mathematics.