Существует ли наибольшее натуральое число? Докажи это

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