El axioma del conjunto vacío puede deducirse de otro axioma más débil, que afirma la existencia de un conjunto, digamos formula_17, y del esquema de especificación con la fórmula formula_58 aplicada a este conjunto formula_17.