Вывод полной математической индукции состоит в утверждении:

• вероятно формула верна;
• формула справедлива для любого натурального числа;
• утверждение справедливо при некотором натуральном k;
• утверждение справедливо для числа k+1.