Cと待ち合わせ、日本橋と難波をぶらぶら。サンタ・アンジェロで夕食。

pdfファイルを大学のサイトにおいてあります。興味のある方はどうぞご覧ください。 Lukasiewicz無限値述語論理 LQ の上で包括原理(the comprehension principle)を持つ集合論 Hでは、「自然数の集合ωは必ずnon-standardな自然数を含む」と解釈できる文章が証…

起床は6時半。7時にCと一緒に家を出る。8時45分頃O市大に到着。発表は9時の最初。発表者も眠い、聞いている人もみんな眠そう。