 Positive comprehension is motivated superficially by an attack on one of the elements of Russell’s paradox (the negation): a positive set theory will be expected to support the axiom of extensionality (as usual) and the axiom of (generalized) positive comprehension: for any (generalized) positive formula \(\phi , \{x \mid \phi \}\) exists.