第６講に入っていよいよ第一不完全性定理です。 お話っぽい説明が多くてサクサク進むのですが、行間を埋めつつ読み進めます。 まず p.87 の メタ定理 の証明。 （）証明のゲーデル数をとすると が成立している。(1)より、. はのモデルなので、 □ （) ならば …