Статья 427

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