Axiom of Comprehension
<logic>
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.
Last updated: 1995-03-31
Nearby terms:
axiomatic set theory ♦ Axiom of Choice ♦ Axiom of Comprehension ♦ axiom schema ♦ AXLE
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Translate
