Free, open-source online mathematics for students, teachers and workers

Axiom of Extensionality (AEx)

$$\forall x \forall y (\forall z(z\in x\longleftrightarrow z\in y)\longrightarrow x=y)$$