I think s/he is saying there is no Essence of Numberhood beyond satisfaction of the PA’s.
Correct.
Just to be clear, I assume we’re talking about the second order Peano axioms here?
I think s/he is saying there is no Essence of Numberhood beyond satisfaction of the PA’s.
Correct.
Just to be clear, I assume we’re talking about the second order Peano axioms here?