[14]
§ 4. Теорема о совершенной индукцiи.
На этомъ точномъ опредѣленiи натуральнаго ряда чиселъ покоится предложенiе, представляющее собой одно изъ наиболѣе важныхъ и плодотворныхъ средствъ для познаванiя математическихъ истинъ; это есть
[15]такъ называемое предложенiе о совершенной индукцiи, или заключенiе отъ кь . Предложенiе это заключается въ следующемъ.
Пусть , представляетъ собой нѣкоторое утвержденiе относительно неопредѣленнаго натуральнаго числа , т. е. предложенiе, содержащее неопредѣленное натуральное число . Если это утвержденiе оказалось справедливымъ
a) для нѣкотораго частнаго значенiя неопредѣленнаго числа .
b) а также для всякаго числа въ томъ случаѣ, если оно справедливо для числа , то оно справедливо также для всѣхъ чиселъ комплекса , т. е. для всѣхъ чиселъ , которыя больше, нежели .
Итакъ, примемъ условiя a) и b) и обозначимъ черезъ комплексъ тѣхъ чиселъ , для которыхъ предложенiе справедливо. Согласно условiямъ a) и b) число содержится въ комплексѣ ; этотъ комплексъ удовлетворяетъ, следовательно, требованiямъ α') и β') § 3. Слѣдовательно, комплексъ входитъ въ составъ комплекса . Иначе говоря, каждое число комплекса (т. е. каждое число, которое больше, нежели ) принадлежитъ къ тѣмъ числамъ , для которыхъ утвержденiе справедливо, — что и требовалось доказать.
Индуктивный процессъ умозаключенiя, который представляетъ собою основу всѣхъ опытныхъ наукъ, заключается въ томъ, что нѣкоторый фактъ, который мы наблюдали въ отдѣльныхъ случаяхъ, принимается за общiй законъ. Дальнѣйшiя наблюденiя либо постоянно подтверждаютъ это допущенiе, либо опровергаютъ его. Въ математикѣ такого рода процессъ можетъ служить только указанiемъ того пути, которому нужно слѣдовать при разысканiи истины; для дѣйствительнаго же доказательства необходимо дополненiе, точное обоснованiе, которое во многихъ случаяхъ достигается примѣненiемъ доказаннаго сейчасъ предложенiя; оно называется поэтому предложенiемъ о совершенной индукции.
Если предложенiе или понятiе, содержащее неопредѣленное число , приводится отъ случая къ случаю , то такой прiемъ называютъ также рекуррентнымъ.