Branches History Index

◀ ▲ ▶Branches / Set-theory / Axiom: Axiom of Existence

The first axiom ensures the existence of a universal set.

Axiom: Axiom of Existence

A set exists. Formally, $\exists X:X=X.$

axiomexistence

Mentioned in:

Axioms: 1 2 3
Proofs: 4

Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs

References

Bibliography

  1. Hoffmann, Dirk W.: "Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011
  2. Wille, D; Holz, M: "Repetitorium der Linearen Algebra", Binomi Verlag, 1994