Sea P(n) una proposición o afirmación que relaciona al entero n. Se concluirá que P(n) es cierta para todo n > n
1 si se puede probar que:
i) P(n
1) es cierta
ii) supuesta cierta P(n
k) (para k entero tal que k > 1), entonces también es cierta para P(n
k + 1)
Este video de St. Petersburg College trata de este tipo de demostración