Готово сва тврђења, која се односе на природне бројеве, доказују се применом метода математичке индукције:
Нека јетврђење, које се односи на променљиву. Да бибило тачно за све природне бројеве довољно је да
је:
1° тачно.
2° За све природне бројевеје импликацијатачна;
односно

Важе и следеће модификације основног става: