El axioma de infinitud, introducido (aunque no en la forma en que se ha presentado aquí) por Zermelo 1908, permite la obtención de los números naturales como conjuntos dentro de ZF.