Así, si consideramos la existencia de un conjunto formula_17 como un axioma, el conjunto vacío sería también un axioma resultante de aplicar el esquema de especificación al conjunto formula_17 con la fórmula formula_58.