This may be a slightly vague question but if one defines a function (of some arity) recursively on the natural numbers, the "simplest" examples are things like addition, multiplication, or factorial.
How do these functions fit into a general sense of defining recursively functions on the natural numbers? Starting only from the successor operator.
What indeed exactly is an "arithmetic function"?