El Axioma del Infinito se enuncia de la siguiente manera: existe algún conjunto inductivo.