<*logic*> 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.

Last updated: 1995-03-31

Try this search on Wikipedia, OneLook, Google

**Nearby terms:**
axiomatic semantics « axiomatic set theory « Axiom of Choice « **Axiom of Comprehension** » axiom schema » AXLE » ayacc

Loading

Copyright Denis Howe 1985