>>343
じゃあ x≦y と x⊂y の同値性を証明してみてよ。
正しく証明できたら、それはそれで

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

に対する別の証明法を君が提示できたことになる。