Dada esta definición de los números de Church, se puede establecer una función de sucesión que dado un número "n" devuelve "n" + 1: