Zermelo introdujo el axioma de infinitud [1908] de forma esencialmente similar a la siguiente: