17:30-21:00、参加者は5人。h師が本文のレジュメ、私が集合論的解説のレジュメを担当。IG氏の規約主義の立場からの質問を軸に話が進む。ゲーデルがプラトニストに見えるのは「（十分に確定された）実在」とかいう言葉遣いのせいだけで、実は言っている内容は…

本日も晴れ、暑い。起床は9時、久しぶりに出勤。午前中は雑用とレジュメの続き。AMLから別刷が到着した。 午後は雑用色々。読書会に出て、帰宅は21:30。夕食は昨日もらったしらす。Cと録画した「らき☆すた」を見る。バルサミコ酢。