What would be a good book that starts with the Peano axioms about the natural numbers and constructs, rigorously, the natural numbers, whole numbers, integers, rationals, reals, and finally complexes? I would prefer it if the book did not leave out major steps, but instead went in a logical...