One can define a set of natural numbers via its successor operation prior to any definition of "addition of one", and THEN define addition of one from that previously defined set of natural numbers and its previously defined successor operation.