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

---

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / e. Axiom of the Empty Set IV

[axiom asserting that there is an empty set]

1 idea

13529

Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS]