超数学
type: Concept
modified: 2025-08-07T16:45:53
created: 1980-06-20
pref label: 超数学
  transcription: チョウスウガク
  transcription: Chosugaku
alt label: 証明論
  transcription: ショウメイロン
  transcription: Shomeiron
alt label: Metamathematics
source: 証明論入門 / 竹内外史, 八杉満利子 共著
source: 岩波数学辞典
in scheme: topicalTerms
related match: MA41
related match: http://id.ndl.go.jp/class/ndc10/410.9
related match: http://id.ndl.go.jp/class/ndc9/410.9
broader: 数学
related: 数学基礎論
related: ゲーデルの定理