>>353
＞最初にあの同値を示す手順で進めるのに何か問題があるの？

その同値性は自明ではないので、証明が必要。
そして、君は証明する気がない。
つまり、君の証明はギャップを抱えたまま。

「どこがギャップなんだ。教科書に載ってる事実なんだから、
　疑いようがないだろ」

と言いたいのかもしれないが、それなら ¬(x∈x) そのものが
教科書に載ってる事実である。つまり、君は中途半端に
¬(x∈x) のギャップつき証明を披露する必要がなくて、
最初から全て「教科書よめ」と言っていればよかったということ。