Axiom of Comprehension
<mathematics> An axiom schema of set theory which states: if P(x) 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 Russell's Paradox which is why Zermelo set theory replaces it with a restricted form.
| < Previous Terms | Terms Containing Axiom of Comprehension | Next Terms > |
| AXIOM* Axiomatic Architecture Description Language axiomatic semantics axiomatic set theory Axiom of Choice | Russell's Paradox | AXLE ayacc AYT az AZERTY |
