>>404
>>矛盾が見いだされたのはフレーゲの体系
>違うんだな 特定の体系の話ではない
 数学ではなく、数学史の話なら、違わない
 ラッセルが手紙を書いた相手がフレーゲ
 内包公理を採用した集合論でももちろん同じ方法で矛盾が導けるが
 カントールが内包公理を提案した、という史実がない
 だから「数学史」として「ラッセルがカントールの集合論の矛盾を導いた」というならそれは誤り

 念押しするけど、>>398で「数学史をちゃんと勉強してないよね」といってるから
 数学としてではなく数学史の史実のみについていってるよね?