If you recall the historical development of set theory, the general principle of comprehension led to contradictions. Zermelo restricted this principle and limited a general comprehension to the following axiom of separation:

# Axiom: Schema of Separation Axioms (Restricted Principle of Comprehension)

If $$p(z)$$ is a definite property, then for all sets $$X$$ there is a subset $$Y$$ consisting of those elements $$z$$, for which $$p(z)$$ is satisfied. Formally, this axiom can be written as

$\forall X~\exists Y~\forall z~(z\in Y \Leftrightarrow z\in X\wedge p(z)).$

Albert Skolem (1887 - 1963) proposed to state "definite property" more precisely by replacing $p(z)$ by an atomic formula in predicate logic $p(z,x_1,\ldots,x_n).$ This makes the axiom in fact a whole schema for infinitely many axioms, in which the placeholder $p(z,X_1,\ldots,X_n)$ stands for an arbitrary, $n+1$-ary logical formula, in which $z$ is a free variable. With this specification, and if we abbreviate the aliteration $x_1,\ldots,x_n$ by $\overset{n}{x}$, the axiom states: For every predicate of the form $p(z,\overset{n}{x})$ the following axiom holds: For all $\overset{n}{x}$ and all sets $x$ there is a set $y$ containing exactly those elements $z$ of $x$ fulfilling $p(z,\overset{n}{x})$: $$\forall \overset{n}{x}(\forall X(\exists Y(\forall z(z\in Y\Rightarrow z\in X\wedge p(z,\overset{n}{x}))))).$$

The schema justifies the set-builder notation, since it ensures the existence (and with the axiom of extensionality the uniqueness) of a subset of elements of a set $x$ fulfilling some given property $p(z,\overset{n}{x})$: $$\forall \overset{n}{x} (\forall X(\exists Y(Y=\{z\in X\mid p(z,\overset{n}{x})\}))).$$

Corollaries: 1 2 3 4 5 6 7 Explanations: 1

Axioms: 1 2 3 4 5
Corollaries: 6 7 8 9
Definitions: 10 11 12
Explanations: 13
Motivations: 14
Parts: 15
Proofs: 16 17 18 19 20 21 22

Thank you to the contributors under CC BY-SA 4.0!

Github:

### References

#### Bibliography

1. Hoffmann, Dirk W.: "Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011
2. Ebbinghaus, H.-D.: "Einführung in die Mengenlehre", BI Wisschenschaftsverlag, 1994, 3th Edition