19/10/07 19:21:42.49 rpPbPz0q.net
>>201でいってるのは、
{}∈X∧(∀x∈X⇒{x}∈X)
を満たす集合が、
空集合でも単一要素の集合でもない集合を
要素としても全然問題ない、ということ
例えばa={{{}},{{{}}}}を要素としてもいい
但し、もしaを要素とするなら{a}も{{a}}も要素とせねばならない
そういうこと
では、もし
{}∈X∧(∀x∈X⇒{x}∈X) かつ
∀y.((y∈X⇒y={}∨∃x.({x}=y∧x∈X))
だったら、Xは、馬鹿のいう
{・・{Φ}・・} （無限重）
を要素にもつのか？
しかし、正則性公理の元ではそれはありそうもない