Encyclopedia

Axiom of Comprehension

Also found in: Wikipedia.

(redirected from Axiom schema of specification)

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.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

Russell's Paradox
Types, Theory of

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.