Предположим, что требуется установить справедливость бесконечной последовательности утверждений, занумерованных
натуральными числами:
Допустим, что
- Установлено, что верно. (Это утверждение называется базой индукции.)
- Для любого n доказано, что если верно , то верно . (Это утверждение называется индукционным переходом.)
Тогда все утверждения нашей последовательности верны.