El lector suspicaz puede, en cualquier caso, asumir primero la existencia del conjunto vacío como un axioma, y cuando esté en disposición de acometer la demostración, probar que efectivamente ese axioma es realmente un teorema en la Axiomática de Zermelo-Fraenkel.