Несущественно, принимаем мы этот тезис для произвольных натуральных чисел или же ограничиваемся лишь положительными целыми. ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Булос Д.N.
Вычислимость и логика
Несущественно, принимаем мы этот тезис для произвольных натуральных чисел или же ограничиваемся лишь положительными целыми. Не обладая точной общей формулировкой понятия вычислимости, мы не можем доказать этот тезис; мы можем лишь убедиться в его правдоподобии в результате исследований, подобных тем, что проведены нами в гл.