The hyperreals can be developed either axiomatically or by more constructively oriented methods.
However, in the 1960s Abraham Robinson showed how infinitely large and infinitesimal numbers can be rigorously defined and used to develop the field of non-standard analysis [REF].