Ahora bien, el conjunto formula_6 cuya existencia garantiza el axioma de infinitud, cumple: