>>274
ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる
x∈xである集合xが存在するかどうかとは関係ない

そもそも公理を減らしたら証明可能な論理式が減るだけ
新たに矛盾が導かれるわけが無い