 Axiom of class comprehension: For any formula \(\phi\), there is a class \(\{x \in V \mid \phi(x)\}\) whose elements are exactly the sets \(x\) such that \(\phi(x) (V\) here denotes the class of all sets). [But note that it is not the case here that all elements of classes are sets].