Статья 410

Вывод один - нельзя полагаться на интуитивную ясность или самоочевидность каких-либо утверждений, если мы не в состоянии определить точно условия их истинности или ложности.
Разберем теперь пример доказательства правильности программы с помощью математической индукции, где все используемые понятия будут точно определены. Предположим, требуется написать программу, вычисляющую результат возведения в степень, где целое неотрицательное число. При этом нельзя пользоваться самой операцией возведения в степень. Чтобы решить задачу, начнем с точного определения операции возведения в степень. Как известно, возвести в степень всегда будем считать, что действуют упомянутые выше ограничения на означает взять сомножителем раз.
Поскольку остается непонятным, что значит взят сомножителем раз, этот случай выделим особо и положим по определению для любого.

полагаться

полагаться

Дальше никаких неясностей нет.