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
Empty Set: ∃x∀y (y∈x). The unique empty set exists [Wolf,RS]