放送大学期末試験

A 評価答案

数学基礎論('08)

隈部 正博（放送大学准教授）

この科目の期末試験は、持ち込み不可でありながら、放送大学の中でも最も難解な問題が
出題されることで有名です。しかし、過去１０年間同じ問題が出題されていますので、こ
の合格答案を丸暗記すれば合格間違いなし！！お買い得です！

問題文
ゲーデルの不完全性定理について、
①意味・内容②意義・重要性③証明の概略を述べよ。
（800 字以内）

（合格答案）
ゲーデルの不完全性定理とは、
「ある公理系が無矛盾であると仮定しても、その無矛盾性
の証明はその体系内で証明することができない」ということを意味している。...