The real numbers can be axiomatically defined (up to isomorphism) as a Dedekind-complete ordered field.

What is a similar standard axiomatic definition of the integer numbers?

A commutative ordered ring with positive induction?