> While you are right that Succ() is as elemental as it gets (including in both Peano and set-theory construction of natural numbers), it is seldom used outside of theoretical foundations.

Well, depends on how you define seldom. What if I told you that twitter would break without the use of Succ()? :-)