the Peano axioms for the construction of the natural numbers