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