 Generalized Positive Comprehension: For any generalized positive formula \(\phi , \{x \mid \phi \}\) exists. (Notice that since we view the false formula \(\bot\) as positive we need no special axiom asserting the existence of the empty set).