>>333
簡単のため、y＝x∪{x} と置くと、

＞x∈x∪{x}∈xなんだから、

この部分は「 x∈y∈x 」と言っていることになる。
で？なぜここから「 x∈x 」が導出されるんだ？
いや、実際にそこから x∈x を導出することは可能だが、
そのためには ∈ に関する推移率、すなわち

∀x,y,z∈N s.t. ((x∈y かつ y∈z) ⇒ x∈z)

を先に証明しておかなければならない。
ほらね、自明じゃないでしょ。