¿Qué es?
No se ha añadido ninguna twiki todavía.
Forma de razonamiento matemático, también llamada inducción completa matemática que, en realidad, es una inferencia deductiva. Se puede enunciar de la siguiente manera:
1) Sea una sucesión infinita de enunciados:
2) demostrando que P1 tiene una determinada propiedad, se establece que
3) si esta propiedad es también verdadera para Pk, entonces también lo es para Pk1;
4) y de ahí se deduce que es verdadera para cualquier enunciado Pnde la serie P1, P2, P3, ...Pn.
Demostrando (2) y (3) se prueba (4). Se trata de un razonamiento por recursividad o de un razonamiento por recurrencia, fundado en el último de los cinco axiomas de Peano sobre la aritmética (ver ejemplo).