19/09/10 00:24:12.40 588mTDvG.net
恥を晒すだけという指摘はまったく正しい
↓
詳しくは、>>832の「ZFC公理系について：その1（及び2）」を読んでみな
簡単に書くと
１）二つの集合A,Bで、A ∈ B → A ⊂ B
∵ 集合Aの全ての元aは、集合Bの元だから
２）二つの集合A,Bで、A ⊂ B → A ∈ B
∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから
３）”A ∈ B → A ⊂ B” ＆ ”A ⊂ B → A ∈ B”が成立つから、二つは同値
QED