Empty Set is Unique/Proof 3

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.