数学基礎論三つの神話

１９００年の「ヒルベルトの第２問題」は、自然数の無矛盾性証明である

タルスキはゲーデルの不完全性定理より早く真理定義不可能性定理を証明した

ゲーデルは１９３１年の論文のコメントにあるようにヒルベルト計画の可能性を信じていた

前のｽﾗｲﾄﾞ次のｽﾗｲﾄﾞ最初のｽﾗｲﾄﾞに戻るｸﾞﾗﾌｨｯｸｽの表示