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