最初に一言、グリシンの体系を GL と書いていましたが、実は GS の誤りでした。お詫びして、訂正いたします。 では、今回はグリシン論理上で包括原理を持つ体系 GS において、外延性公理を仮定すると矛盾が導きだされることをご紹介しましょう。この事実はグ…

相変わらず蒸し暑い。起床は10時半、眠い。昼食は穴子そば。夕方からCと三宮に出かけ、電気屋でUSBケーブルを買い、南京町で夕食。手紙を書いたりして、27時に就寝。