https://en.wikipedia.org/wiki/Peano_axioms

In this case, they’re talking about being in the natural numbers club, and applying the “successor” (or “succ”) function.