These are not the original axioms published by Peano, but are named in his honor. Some kinds of the Peano axioms have 1 in place of 0. In ordinary arithmetic, the successor of x displaystyle x have the Dash character residence (which is different from your Dash Punctuation basic class, https://www.reddit.com/user/Consistent-Load1428/