Где там доказывается "Доказали, что за верным утверждением может стоять только верное утверждение"?
Вот где
Цитата:
Далее, опираясь на сделанное допущение, пытаются доказать правильность формулы (1) для числа на единицу большего, то есть для

. В данном случае достаточно присоединить к сумме в левой части равенства (2) ещё одно слагаемое:

; тогда и правая часть равенства должна увеличиться на

и, следовательно,

.
Но тот же результат получится, если в формуле (1) заменить

на

.
Итак, из
справедливости формулы (1) при

вытекает (каково бы ни было

) её правильность и при

.
Хотя доказательство подобного вида пока вызывает у меня сомнение, я надеюсь, что если разберусь с нижеследующим, то приму данное доказательство. Мне совершенно не понятно почему формула (1) стала справедливой для данного ряда суммы, если мы сами значения ряда туда не подставляли.
Внесём несколько намеренных ошибок в эту цитату:
Цитата:
Пусть, например, требуется доказать для любого натурального (целого положительного) числа

формулу:

(1)
При

эта формула даёт

. Чтобы доказать правильность формулы при любом

,
допускают, что её уже удалось доказать для некоторого определённого числа

, то есть предполагают, что

(2)
Далее, опираясь на сделанное допущение, пытаются доказать правильность формулы (1) для числа на единицу большего, то есть для

. В данном случае достаточно присоединить к сумме в левой части равенства (2) ещё одно слагаемое:

; тогда и правая часть равенства должна увеличиться на

и, следовательно,

.
Но тот же результат получится, если в формуле (1) заменить

на

.
Итак, из
справедливости формулы (1) при

вытекает (каково бы ни было

) её правильность и при

. Но при

формула (1) верна, следовательно, она верна также и при

и так далее. Так как последовательным прибавлением единицы можно получить (начиная с единицы) любое натуральное число, то формула (1) действительно верна при любом натуральном числе

.
Как для меня выглядит эта цитата теперь? Я вижу следующее:
Цитата:
1) Первое утверждение верно (т.к. просто проверили)
2) Доказали, что за верным утверждением может стоять только верное утверждение
В чём я не прав?
Товарищи, видя моё непонимание данного вопроса, может быть посоветуете что-то к книге Куранта и Роббинса почитать? Что-то типа букваря по логике...