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

---

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / k. Axiom of Existence

[axiom that gets sets started]

2 ideas

13029

Set Existence: ∃x (x = x) [Kunen]

10871

Axiom of Existence: there exists at least one set [Clegg]