>>339
それはつまり、「x∈y または x＝y」と「x⊂y」が
同値であることを示すということ。もちろん、これは示せる。
だが、それはそれで別の帰納法が必要。
それらを全て前提とした上で

＞Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前じゃん

と発言しているなら、確かに ¬(x∈x) は「当たり前」になる。
だが、発端となった質問は

「 ¬(x∈x)をどうやって証明するのか」

ということ。これに対して、君は件の同値性を前提とした上で
「当たり前だ」としか言ってないことになる。