Почему в математике существует функция следования чисел друг за другом?

Функция следования чисел друг за другом существует в математике для определения, каким образом можно переходить от одного натурального числа к другому. ru.wikipedia.org

Эта функция является частью формальной системы аксиоматики Пеано и используется для построения множества натуральных чисел, а также для формального определения операции сложения. habr.com ru.wikipedia.org

Кроме того, существование функции следования означает, что число натуральных чисел бесконечно, а между последовательными натуральными числами нет каких-то других. dzen.ru