goto https://en.wikipedia.org/wiki/Peano_axioms