>>661
>x=yに関するもう1つの言明
>∀z:(x∈z⇔y∈z)
こっちを=の定義にした方がイイ？
urelementある集合論でもこっちなら行けそうだし
ただこっちを定義にし