- 812 名前：１３２人目の素数さん mailto:sage [2016/09/19(月) 22:45:05.08 ID:Q695w47S.net]
- >>776
なにしろ例の人は
ラッセルのパラドックスに絡めて矛盾した理論に公理を追加して無矛盾にできる、と言ってるわけなので、
「もとの理論の定義域にラッセル集合がいたけどそれを除外することができる」と思っている。
でもラッセル集合が「集合である」というのがもとの理論の定理ならそれは後から除去できないし、
そんな定理はないというなら元々矛盾なんかなかったんだし、その発想はよくわからない。
まあ例の人が>>774に答えられないならどうしようもないけどね。
