reading a little more closely the axioms appear to be agnostic to the interpretation of the first element it is only when one defines the operation of addition that any difference emerges the distinction arises from the choice of definition of the addition operation as such it seems that this article is making untrue statements about the peano axioms which do not define an addition operation only a successor function this seems to be a significant misrepresentation i'd appreciate comment from those more familiar with working more formally in this area quondum