>>638
>つまり a=b と書きたきゃ ∀x(x∈a⇔x∈b) と書けという主張？　無意味じゃね？
無意味かなあ
＝みたいな曖昧なの排除できるじゃん