Empty Set is Unique/Proof 3
Theorem
The empty set is unique.
Proof
From Axiom of the Empty Set in the context of class theory, the empty class is a set.
The result follows from Empty Class Exists and is Unique.
$\blacksquare$
The empty set is unique.
From Axiom of the Empty Set in the context of class theory, the empty class is a set.
The result follows from Empty Class Exists and is Unique.
$\blacksquare$