Overview

axiom of separation


Related Overviews

 

'axiom of separation' can also refer to...

 

More Like This

Show all results sharing this subject:

  • Philosophy

GO

Show Summary Details

Quick Reference

Also known as the Aussonderungsaxiom. The unrestricted principle of comprehension leads to contradiction in set theory. The axiom of separation, due to Zermelo, restored consistency by allowing a set of objects to exist when it is the subset of a previous set, and its members meet a condition: (∃y)(∀x)(xy) iff (xz & Fx). That is, a set y of objects exists when it is separated out from a previously given set z, as the subset whose members meet a condition F.

Subjects: Philosophy.


Reference entries

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