∀x,y:(x=y∧P(x)→P(y))
よね
これを
∀x,y:(∀z:(z∈x⇔z∈y)∧P(x)→P(y))
にすればいい？
=が無くなればそれについて必要な公理を∈だけで構成できるでしょ