Return to Question

added tags (since question was bumped to the front page)

Source Link

edited Jan 29, 2014 at 14:07

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

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

A commutative ordered ring with positive induction?

Source Link

asked May 1, 2010 at 19:30

Axiomatic definition of integers

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

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

A commutative ordered ring with positive induction?

axioms