TeX source:

\forall x\forall y[\forall z(z\in x\Leftrightarrow z\in y)\Rightarrow x=y]