>>858
いや確かに
正則性公理を採用しているから
ｘ not∈ x
だな

だから、>>845の
”２）二つの集合A,Bで、A ⊂ B　→ A ∈ B”
は、不成立
（反例としては、A ⊂ Ａ　→ A not∈ A だな）

だから、”同値”も撤回する
但し、”「まったく別もの」ではない”は、正しい（＾＾

https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86
正則性公理

・∀xについて、無限下降列である x ∈ x_ 1 ∈ x_ 2 ∈ ... は存在しない。