En la aritmética de Peano la función sucesor suma 1 al antecesor.