Axiom:Class Comprehension Schema

Axiom
For any formula $\phi$ containing no quantifiers over classes, there is a class $A$ such that:


 * $\forall x: \left({x \in A \leftrightarrow \phi \left({x}\right)}\right)$