ok.
some rant about definition and semantics.
integers are isomorphic ordered pairs of natural numbers (a,b) w/ equivalence relation (a,b)=(c,d) iff a+d=b+c.
reals are convergent sequences of rationals,
etc.
in mathematics, are integers simply isomorphic to the ordered pairs of...