ラッセルのパラドックス：傾向と対策（本日の修正）

皆さん、いかがお過ごしでしょうか。ラッセル・パラドックスの各種解決法をご紹介しようというこのシリーズ、読み返すたびにミスが見つかり、現在絶賛修正中です。今晩の修正点は以下の通りです。

(1.5)で、古典論理上でパラドックスを導出する課程には外延性公理が必要だと言っているようにも読めてしまう不具合を修正（ST氏のご指摘による）
(3)(1)で、ラッセル・パラドックスを導出する際に、まるで排中律が必要であるかのように言っているように見える点を修正（「パラドックスの導出課程（直観主義論理）」を追加）

皆様のご協力をお待ちしております。