We could figure out that our symbolic manipulation is inconsistent with the axioms based on the quirk you consider.
There are more axioms needed to define Peano Arithmetic. Taking axioms 7 and 8 from Wikipedia, translated into your notation:
\a. Sa != 0
\ab. Sa = Sb → a = b
(I also use the symmetry and transitivity of equality.)
Note, from the axioms you stated:
\a. S0 + a = 0 + Sa = Sa
So, axiom 8 can be restated as:
\ab. S0 + a = S0 + b → a = b
So, starting with your result:
SSS0 = SS0 + SS0 = S0 + SSS0
But also,
S0 + SS0 = SSS0 = S0 + SSS0
So, by the restatement of Axiom 8:
SS0 = SSS0
And then using the original form of Axiom 8 twice:
S0 = SS0
0 = S0
We have a contradiction of Axiom 7.
Thus, it is proven that our symbol manipulation does not follow the Peano Axioms. This does not invalidate the Peano Axioms. It simply means that a given physical system does not follow them. Of course, it would be difficult for people living in an alternate universe where symbols really behaved this way to notice the distinction. And they likely would not have to, if all objects behaved that way; they would figure out some other math to represent their situation. And at some point, mathematicians in their ivory towers would develop this weird math that is really hard to write down and has no known application in the real world (both properties bringing great joy to these academicians).
You’re right. PA is still consistent (i.e. has a model) even if
N = the set of strings of the form S*0
0 = the string "0"
S = the function that prepends "S" to its argument
fails to be one because of the way string concatenation works. There’s nothing mathematically special about theories that can use physical objects as a model.
(Minor quibble: the definition of addition isn’t an axiom. It’s just a relation definable in the first-order theory of arithmetic.)
We could figure out that our symbolic manipulation is inconsistent with the axioms based on the quirk you consider.
There are more axioms needed to define Peano Arithmetic. Taking axioms 7 and 8 from Wikipedia, translated into your notation:
\a. Sa != 0 \ab. Sa = Sb → a = b
(I also use the symmetry and transitivity of equality.)
Note, from the axioms you stated:
\a. S0 + a = 0 + Sa = Sa
So, axiom 8 can be restated as:
\ab. S0 + a = S0 + b → a = b
So, starting with your result:
SSS0 = SS0 + SS0 = S0 + SSS0
But also,
S0 + SS0 = SSS0 = S0 + SSS0
So, by the restatement of Axiom 8:
SS0 = SSS0
And then using the original form of Axiom 8 twice:
S0 = SS0 0 = S0
We have a contradiction of Axiom 7.
Thus, it is proven that our symbol manipulation does not follow the Peano Axioms. This does not invalidate the Peano Axioms. It simply means that a given physical system does not follow them. Of course, it would be difficult for people living in an alternate universe where symbols really behaved this way to notice the distinction. And they likely would not have to, if all objects behaved that way; they would figure out some other math to represent their situation. And at some point, mathematicians in their ivory towers would develop this weird math that is really hard to write down and has no known application in the real world (both properties bringing great joy to these academicians).
You’re right. PA is still consistent (i.e. has a model) even if
fails to be one because of the way string concatenation works. There’s nothing mathematically special about theories that can use physical objects as a model.
(Minor quibble: the definition of addition isn’t an axiom. It’s just a relation definable in the first-order theory of arithmetic.)