Mètode per a demostrar la validesa d’una successió numerable de proposicions P₁, P₂, ..., Pn, ... que consisteix a demostrar la proporsició P₁ i que la validesa de Pn implica la validesa de Pn₊₁
.
És anomenat també mètode d'inducció complexa o mètode de recurrència.