axiom of comprehension

Từ điển Máy Tính - Foldoc Dictionary

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.

Last updated: 1995-03-31