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

Axiom of Power Set (APw) $$\forall x\exists y\forall z(z \in y \longleftrightarrow \forall u(u \in z \longrightarrow u \in x))$$