De este quinto axioma surge lo que se conoce como "principio de inducción matemática" (véase la sección 2, Apéndice A).