That exactly how I teach it in introductory analysis: assume the existence of the natural numbers, satisfying the Peano axioms. Then build integers, rationals and reals one after another, each as appropriate equivalence classes.