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

Axiom-Schema of Specification (ASp)

$$\forall y_1...\forall y_n (\forall z\exists y\forall x(x \in y \longleftrightarrow x \in z \wedge \varphi(x; y_1 ,..., y_n )))$$