structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

---

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation

[axiom that new sets must be separated from old ones]

3 ideas

13486

Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD]

13020

The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy]

13452

Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano]