メタ数すう学がく

noun

metamathematics

Technical term in mathematical logic and philosophy of mathematics; refers to the study of mathematics itself using mathematical methods.

• メタ数すう学がくは数すう学がくの基き礎そを研けん究きゅうする分ぶん野やです。

  Metamathematics is a field that studies the foundations of mathematics.