Computer Dictionary/Axiom of Comprehension

From En.18dao.net
Jump to: navigation, search

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.


Discussion about "Computer Dictionary/Axiom of Comprehension":

None Discussion Now.

Add Discussion