Функция следования в арифметике имеет ограниченную область значений, потому что процесс построения всех натуральных чисел не может быть закончен за конечное число шагов. 1 Натуральный ряд не может иметь точек повторения. 1

Таким образом, область значений функции следования ограничена тем, что её значения могут быть определены не для всех наборов аргументов, так как процесс построения бесконечного множества натуральных чисел не позволяет завершить его за конечное число шагов. 14