Inducción Fuerte

Una variante de la inducción en la que, para probar P(n+1), se asume que P(k) se cumple para todo k ≤ n (el conjunto completo de casos menores) en lugar de asumir solo P(n); así la hipótesis inductiva es más fuerte y puede usar información acumulada de todas las instancias previas.