доказательств является метод математической индукции. Подавляющее большинство формул, относящихся
ко всем натуральным числам n, могут быть доказаны методом математической индукции (к примеру, формула суммы n первых членов арифметической прогрессииИндукцией называют переход от частных утверждений к общим. Напротив, переход от общих утверждений к частным называется дедукцией.