metamathematics

Metamathematics helps understand the foundations of math.

メタ数学は数学の基礎を理解する助けとなる。

Gödel's famous incompleteness theorems are a central result of metamathematics.

ゲーデルの有名な不完全性定理は、メタ数学の中心的な成果だ。