6.さらに2)の反例も指摘され、ボロボロw https://rio2016.5ch.net/test/read.cgi/math/1566715025/858 >>2)二つの集合A,Bで、A ⊂ B → A ∈ B >反例:A=B={1} A⊂B だが、A∈B ではない >∵集合Bに{1}という元は属していない。
7.ニワトリ なぜか2)の誤りはあっさり認めるも 1)は諦めずw https://rio2016.5ch.net/test/read.cgi/math/1566715025/865 >>確かに正則性公理を採用しているからx not∈ xだな >>だから、2)は、不成立 >>(反例としては、A ⊂ A → A not∈ A だな) >>だから、”同値”も撤回する >>但し、”「まったく別もの」ではない”は、正しい(^^