Axiom:Class Comprehension Schema
Jump to navigation
Jump to search
Axiom
For any formula $\phi$ containing no quantifiers over classes, there is a class $A$ such that:
- $\forall x: \paren {x \in A \iff \map \phi x}$