Successor function is logically prior: you need counting before you can meaningfully decompose numbe...
This proposition has not been edited since the history system was added.