Supongamos que A y B son conjuntos vacíos según el axioma de la teoría de conjuntos. “el conjunto vacío es un subconjunto de cualquier conjunto”, existen:
(1) A es un subconjunto de B;
Y:
(2 ) B es un subconjunto de a.
Entonces A = B, el conjunto vacío es único.