さて、前回はグリシン論理上包括原理を持つ体系 GS の良い点、特に自己言及的集合の楽園であることをご紹介いたしました。今回は、GSの問題点についてご紹介いたします。 外延性公理を仮定すると矛盾（ラッセル・パラドックス経由！）が導かれてしまう：外延…

相変わらず暑い。空は曇りで湿度も高い。 起床は13時。朝食は、Mn君からもらった紅茶を入れ、Cが作ったスコーンで久しぶりにクリームティー。午後は、木曜日に届いたキャビネットを部屋に引きずり込む。夕食は、昨日の残りの鶏肉と夏野菜のトマトソースパス…