The first axiom ensures the existence of a universal set.
Axiom: Axiom of Existence
A set exists. Formally, $\exists X:X=X.$
![axiomexistence](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/examples/axiomexistence.png?raw=true)
Mentioned in:
Axioms: 1 2 3
Proofs: 4
Thank you to the contributors under CC BY-SA 4.0!
![](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/calendar-black.png?raw=true)
- Github:
-
![bookofproofs](https://github.com/bookofproofs.png?size=32)
References
Bibliography
- Hoffmann, Dirk W.: "Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011
- Wille, D; Holz, M: "Repetitorium der Linearen Algebra", Binomi Verlag, 1994