C大学のKm先生より一昨年に教えて頂いた話を今日再確認する。"Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction" (Uwe Petersen), Studia Logica. 64.365-403 (2000). この話はp381-382に書いてある。包括原理を持つ集合論で…

今日は一日中科研申請書（本提出版）の仕上げ。午前に同じ書類を8部印刷し表紙右肩の指定部分を紫に色塗り、午後にのり付けと製本。毎度のことながら不毛な作業。のりが乾かないので本日の提出は見送り。