Метод математической индукции
Пусть мы имеем бесконечную последовательность утверждений P1, P2, ..., Pn, ..., занумерованных натуральными числами, причём: — утверждение P1 истинно; — если некоторое утверждение Pk истинно, то следующее утверждение Pk+1 тоже истинно.
Тогда принцип математической индукции утверждает, что все утверждения последовательности истинны.