■

起床は8時。やはり朝は眠い。今日は一日中、次の論文に備えてメモをtexうちする。夕食はクリームシチューとマカロニ。夜更かしして"Cowboy Bebop"を見て、26時に寝る。
"Models of Peano Arithmetic"を必要に迫られて、ぱらぱらと読み返してみる。昔前半を読んだはずだが、全く内容を忘れている。例えば、PAのモデルを扱う metatheory としてZFCを採用していた点とか。