Annals of Pure and Applied Logicのオンライン出版*1、こちらから入手可能。 この論文は、集合論 ZF に関する証明論的分析として、非常に重要なものであると考えます。ZFの上で数学を展開することにではなく、ZFがベースとする集合概念（およびZFと言う体系…

昨日から一転して、暖かい日となった。洗濯と掃除。昼から美容院に出かけ、帰宅後はレポート書きの続き。