17時より21時半、p139第1パラグラフからp144第2パラグラフまで。欠席2人。一回でこんなに進んだのは初めて。全員「ヤク切れ」になっていた。

起床は8時。眠い。とても眠い。 やっと日記を更新する気力が戻ってきた。でもすぐ12月はじめの地獄の発表巡業が待っている。 朝、大学で思い立って"Models of Peano Arithmetic"を探す。図書室には見つからず、Amazonでも品切れ。こんな基本図書が、と思う。…