[deleted]
Just in case my remarks about number grammar are not clear, here is more analysis. Using Peano functions 0 and succ, there is only one representation of each number:
so 4 = succ(succ(succ(succ(0))).
I suspect that is what you mean by saying that there is no history to the numbers in Peano arithmetic.
However if we also introduce the Peano binary relation Plus, then we now have multiple methods of representing 4
4 = plus (succ(succ(0)),succ(succ(0))),
4 = plus (succ(0), succ(succ(succ(0)))), etc
These multiple representations of 4 (as they now are) have what physicists might call a "gauge freedom". The canonical representation is:
4 = succ(succ(succ(succ(0))))
This gauge freedom could be used for something, and it seems to me that ETS theory is using a similar idea to represent temporarily how the 4 got formed from its components.