次: 形式化された数学 上: 対角線論法と不完全性定理 前: ヒルベルトの計画

不完全性定理

• 形式化された数学
• ゲーデルの対角線論法
  • 不完全性定理
  • ゲーデル数
  • 証明不能命題
  • 無矛盾性
  • Bourbaki 『数学史』から