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?



Axiomatic definition of integers
It's the unique commutative ordered ring whose positive elements are well-ordered.


