Si existiera otro conjunto formula_7 con la propiedad que dice el axioma (es decir, tal que si formula_3 y formula_4, entonces formula_10), podríamos construir el conjunto formula_11.