ラッセル・パラドックスのいろいろな解決法を紹介しようというこのシリーズ、前回までは古典論理を保持しつつ包括原理を弱めようという Restriction of basic principles に分類される集合論(ZFC/ZFAなど)を紹介しました。今回は、基本原理である包括原理は…

8月に戻ったかのような暑い日。湿度も高く、昼頃は強い雨も降る。 Cからの電話で起こされ、時計を見ると13時。・・・12時半に待ち合わせの約束をしていたので、慌てふためいて阪急駅へ向かう。合流して三宮へ、トアロードデリカテッセンで昼食。ビールとチー…