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.
(1995-03-31)
Nearby terms:
axiomatic semantics « axiomatic set theory « Axiom
of Choice « Axiom of Comprehension » AXLE »
ayacc » AYT
|