COMPREHENSION, AXIOM OF

comprehension, axiom of: translation

The unrestricted axiom of comprehension in set theory states that to every condition there corresponds a set of things meeting the condition: ( ∃y ) (y = x : F x ). The axiom needs restriction, since Russell's paradox shows that in this form it will lead to contradiction. For the classical repair see separation, axiom of.