0
$\begingroup$

The hyperreal number system is defined as one that contains the real numbers, satisfies the first order properties of real numbers, and contain infinitesimals. It can't be as simple as stating the reals are a subset of the hyperreals. Do I need to prove an isomorphism between the two? Or am I completely missing something here?

Any help would be appreciated.

2 Answers 2