(Segundo Principio de Inducción) Sea formula_18 un enunciado que tiene sentido para cada número natural.