Alt.Math.談話会。発表タイトルは「包括原理と自然数」、数解研で話した内容のupdate版。 数学を古典論理の下で包括原理 (the comprehension principle) のある集合論によって基礎づけようとするフレーゲの試みは、ラッセルのパラドックスの発見によって挫折…

起床は9時。美容院に寄ってからJR駅へ。南草津駅まで快速で1時間20分、けっこう遠い。到着後ラーメンを食べ、時計を見ると待ち合わせ時間まで40分余っていたので、大学まで歩いてみる。40分かかってぎりぎりで到着（汗）。琵琶湖の風が心地よい、が、ノートP…