id:yoriyukiさんの不完全性定理の話

ゲーデルの不完全性定理の一般的な証明(改訂版) - yoriyukiの日記
こういうの苦手気味なんで、モデル理論的に書き直せないかなとバカなことを考えて、それがバカなことだと気づくまでの話を書こうと思ったのですが、後に回します。後に回すものばかりですが。まあ要するに、モデル固定したら自己言及できないのは当たり前だろ！ってことなんですが、あとちょっとだけ付録がつきます。