Se trata de una generalización de la inducción matemática.