Empty Set is Unique/Proof 3
Jump to navigation
Jump to search
Theorem
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$