Constructing the Natural Numbers from the Reals

Updated version at: http://www.dcproof.com/DerivingPA.htm