Метод математической индукции

Обозначим через P(n) некоторое высказывание (например, «в Лондоне опять идёт дождь»). Тогда

Теорема: пусть про некоторые свойства высказывания, действующие на некотором промежутке, известно, что

где пункт 1 называют базой индукции (И=Истина), а пункт 2 шагом индукции. Вообще, метод математической индукции основан на истинности некоторого свойства в общем случае, двигаясь к нему от частных случаев. Допустим, что (Ложь). Пусть m – самое малое натуральное число, для которого .(3.1)

Если ,то . ,что противоречит (3.1)