◀ ▲ ▶Branches / Set-theory / Corollary: Uniqueness of the Empty Set
The extensionality principle and the a axiom of empty set have the following consequence:# Corollary: Uniqueness of the Empty Set
(related to Axiom: Axiom of Empty Set)
The empty set $\emptyset$ is unique.
Table of Contents