Dedekind-Peano_axioms