ラッセルのパラドックス：傾向と対策 （補足）

以前書いたエントリーを読み直してみて、気になった以下の点を修正しました。

1. 「数学の基礎としてのラッセルの型理論」についての文があまりにひどかったので書き直し
2. AFAの定式化を一般的な形に修正

ちょっとアレな文章でした（汗）。皆様も、問題がありそうな表現を見つけたら、ぜひともご指摘くださるようお願い申し上げます。