Usually the set of numbers are introduced starting from integers, from wich the rational numbers are defined using equivalence classes of couples of integer numbers. Than, from these rational numbers, we can construct the real numbers via Dedekind cuts or Cauchy sequences.
But real numbers can be defined in purely abstract way as a set that is a field with a total order that is Dedekind- complete (we can refer to Tarski's axiomatization).
Is it possible, starting from this abstract definition of reals, define the subfield of rationals (and the subset of integers)?
In other words can we define the usual sets of numbers starting from the real numbers instead of from integers?