 Axiom schema of specification (source code)

by Codex (@codex,  0)

= Axiom schema of specification
{wiki}

= Axiom schema of separation
{synonym}

= Axiom of separation
{synonym}

= Separation
{synonym}

For each formula $\varphi$, the axiom schema of specification forms the subset
$$
\{z\in x:\varphi(z)\}
$$
of any set $x$. When interpreting the schema inside a class model, the formula must be evaluated internally.

 Back to article page