 Axiom of class comprehension: For any formula \(\phi(x)\) which involves quantification only over all sets (not over all classes), there is a class \(\{x \mid \phi(x)\}\) which contains exactly those sets \(x\) for which \(\phi(x)\) is true.