They're not the initial axioms released by Peano, but are named in his honor. Some sorts of the Peano axioms have 1 in place of 0. In standard arithmetic, the successor of x displaystyle x is actually a commutative monoid with identification element 0. This is a totally free monoid https://www.edocr.com/v/l0dyd92l/cureayublog/safe-herbal-supplements-for-daily-use-shop-cureayu