Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Axiom of Comprehension

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.


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

©2018 Martin Webb