Hmm.. I won't prove that it works, but you can use first order logic to build it. Roughly one extends the real numbers by an element c such that
c>0 and for all real numbers r>0, c< r.
call this universe the hyperreals, which consists of real numbers, infinitesmal c and the elements in the for...