BranchesHistoryFPLHelpLogin
Welcome guest
You're not logged in.
312 users online, thereof 0 logged in

Some sources mention instead of the axiom of existence that postulate the existence of a set, the following axiom that postulates the existence of the empty set. Both axioms are equivalent, i.e. can be exchanged. This is because the existence of the empty set implies the existence of any set. On the other hand, the axiom of separation can be used to separate the empty set from any other given set.

Axiom: Axiom of Empty Set

There is an (improper) set, called the null set or the empty set, denoted by \(\emptyset\), which does not contain any elements.

\[\exists X~\forall z~z\notin X.\]

| | | | | created: 2014-06-08 20:55:08 | modified: 2020-11-22 12:41:18 | by: bookofproofs | references: [656], [983]

1.Corollary: Uniqueness of the Empty Set

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

[983] Ebbinghaus, H.-D.: “Einführung in die Mengenlehre”, BI Wisschenschaftsverlag, 1994, 3

[656] Hoffmann, Dirk W.: “Grenzen der Mathematik – Eine Reise durch die Kerngebiete der mathematischen Logik”, Spektrum Akademischer Verlag, 2011