Successor function

Summary

The successor function is the function $S \colon \mathbb{N} \to \mathbb{N}$ that sends each natural number $n$ to the next natural number, $S(n) = n + 1$. It is a primitive notion of the Peano axioms.