Axiom of Comprehension

(redirected from Axiom schema of specification)
Also found in: Wikipedia.

Axiom of Comprehension

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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (