La forma en que se ha presentado el axioma de infinitud se debe a Fraenkel, y permite la construcción de los números naturales como números ordinales en el sentido de von Neumann.