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