Last modified on July 13, 2016, at 02:32

Axiom of empty set

This is the current revision of Axiom of empty set as edited by DavidB4-bot (Talk | contribs) at 02:32, July 13, 2016. This URL is a permanent link to this version of this page.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The Axiom of Empty Set asserts that a set exists which is empty. It does not assert the uniqueness of this set; using the other axioms of Zermelo-Fraenkel set theory, this set can be shown to be unique.

This axiom is sometimes called the zeroth axiom of set theory (see Zeroth Law of Thermodynamics) because it states something so obvious that it's easy to forget to formally state it as a rule.

The Axiom of Empty Set and the Axiom of Choice are the only two axioms of set theory that non-constructively assert the existence of a set.