1. Axiom of Comprehension An axiom schema of set theory which states: if Px is a property then x : P is a set. I. e. all the things with some property form a set. Acceptance of this axiom leads to Russells Paradox which is why Zermelo set theory replaces it with a restricted form.
axiom of comprehension |
