Axiom talk:Peano's Axioms/Formulation 2

I was perusing this, and given the absence of $0$ in the statement of the axioms, I was wondering whether it was actually included? Of course it can be deduced and then named, but this is relevant because of the exact wording of axiom 5. &mdash; Lord_Farin (talk) 05:55, 5 February 2020 (EST)