23/12/14 06:15:45.37 g3rVwl37.net
>>458
おやおや、大阪の同業者君、
「排中律やめれば、ラッセルのパラドックスは防げる」
の誤りの次は
「正則性公理で、ラッセルのパラドックスは防げる」
かい?
いっとくけど矛盾を導く公理系に新たな公理を追加しても矛盾は防げないよ
公理的集合論の場合は、内包公理を諦めて、分出公理を用いる
これこそ常識な
注)これが唯一無二の解決策ではありません、
解決方法は他にいくらでもあります
ただしその結果もたらされる体系は全然異なりますが