数学基礎論
type: Concept
modified: 2019-03-04T15:39:30
created: 1980-06-20
pref label: 数学基礎論
  transcription: スウガクキソロン
  transcription: Sugakukisoron
alt label: Logic, Symbolic and mathematical
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: 記号論理学
related: 超数学
narrower: カオス
narrower: モデルの理論
narrower: ゲーデルの定理