超数学
同義語
証明論
,
Metamathematics
上位語・
件名標目
・関連語・下位語
数学
超数学
数学基礎論
,
ゲーデルの定理
分類記号(NDLC):
MA41
分類記号(NDC9):
410.9
分類記号(NDC10):