>>664
>urelementある集合論でもこっちなら行けそうだし
x=yを∀z:(x∈z⇔y∈z)で定義して
∀x,y,z,w:(z∈x⇔z∈y)→(x∈w⇔y∈w)を公理に入れることで
urelementのある集合論でも=なし∈のみで集合論を公理化できそう
ただBG(C)集合論は逆にダメになるか
そっちは
x=yをやはり∀z:(z∈x⇔z∈y)で定義して
∀x,y,z,w:(z∈x⇔z∈y)→(x∈w⇔y∈w)はx,yがsetのときに限定か
統一的にはできないなあ