Узагальнення основної форми принципу математичної індукції
Якщо деяке твердження Т правильне для певного натурального числа і якщо з припущення, що воно правильне для натурального числа , випливає його правильність і для наступного числа , то твердження Т правильне для будь-якого натурального числа n.
Друга формапринципу математичної індукції
Якщо деяке твердження Т правильне для 1 і якщо з припущення, що воно правильне для всіх натуральних чисел, менших ніж k, випливає його правильність і для числа k, то твердження Т правильне для будь-якого натурального числа п.