◀ ▲ ▶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

Proofs: 1

Mentioned in:

Explanations: 1

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

Github: