Math. Log. Q. 40: 528-532 (1994).Boolosのモデル論的証明を応用してthe 2nd incompleteness theorem まで証明した論文。ポイントは 真なるSigma_1 sentence はPAで証明可能であり、(PAがomega-consistentのとき)逆も成り立つので安心してモデル論的な技法…

昨日よりは暖かい一日。起床は8時。今日は仕事もゆっくり。夕方にかけてKikuchi論文とDavidsonを読む。 帰宅は19時。夕食はベーコンとウィンナーのトマトパスタ。 どうでもいいがコツコツやっているPCゲームの「ヨーロッパ ユニバーサリス2 (EU2)」、モスク…