Successor function

The successor function is the function f(x) = x + 1. All early formal attempts at defining the largest number were based around finding different methods for using recursion on the successor function. The successor function is still important for defining large numbers as many functions like busy beaver and Rayo use non-intuitive definitions of natural numbers, for which the successor function must be defined in order to establish what they are calculating is actually a number.