公理的集合論なんてレベルの話じゃない
∈の定義から直ちに出て来る話