Предположим, что требуется установить справедливость бесконечной последовательности утверждений, занумерованных
натуральными числами:
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=1511)
Допустим, что
- Установлено, что
верно. (Это утверждение называется базой индукции.) - Для любого n доказано, что если верно
, то верно
. (Это утверждение называется индукционным переходом.)
Тогда все утверждения нашей последовательности верны.