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