Propoziția P(n) este adevarată pentru orice număr natural n dacă sunt verificate următoarele două condiții:
a) propoziția P(n) este adevarată pentru n=0;
b) din presupunerea că P(n) este adevarată pentru n=K ( ) rezultă că este adevărată și pentru n=K+1.
Prima etapă se numește verificare, iar a doua etapă dem