La demostración está basada en el axioma denominado "principio de la inducción matemática".