Axiom:Axiom of Empty Set/Set Theory/Formulation 2

From ProofWiki
Jump to navigation Jump to search

Axiom

In the context of axiomatic set theory, the axiom of the empty set is as follows:


There exists a set for which membership leads to a contradiction:

$\exists x: \forall y \in x: y \ne y$


Also see


Sources