They are not the original axioms revealed by Peano, but are named in his honor. Some sorts of the Peano axioms have 1 rather than 0. In ordinary arithmetic, the successor of x displaystyle x The natural quantities type a established, normally symbolized as a Daring N or blackboard Daring https://www.4shared.com/s/fv6BuxwQbku