授業スライド こちらから

はじめに 古典論理 形式的な算術 グローバルな循環性 第一不完全性定理

授業第二十六回目、本日はエクストラの回として、ゲーデルの不完全性定理の話をします。