Home > Electronics Tutorials > Online Computer Terms Dictionary > A

Online Computer Terms Dictionary - A

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.



Nearby terms: axiomatic semantics axiomatic set theory Axiom of Choice Axiom of Comprehension AXLE ayacc AYT