You are here: irt.org | FOLDOC | Axiom of Comprehension
<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.
(1995-03-31)
Nearby terms: axiomatic semantics « axiomatic set theory « Axiom of Choice « Axiom of Comprehension » axiom schema » AXLE » ayacc
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL