axiom of comprehension

Show Summary Details

Quick Reference

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 : Fx}). 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.

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.