There are Hyperreal numbers that are smaller than any real number , also those that are larger than any real, they have properties analogous to those of Real numbers thanks to the Transfer principle and so on.
Then, It seems I could think of another kind of numbers that can be smaller or larger than any Hyperreal, and another kind that can be smaller or larger than any number of the former kind and one more ad infinitum. Is it correct or is it not? If not, how it'spossible to prove that ?
I recently took science of the existence of Hyperreal numbers after started studying calculus using Jerome Keisler's book, which is available here for free
Let $D$ be a non-principal ultrafilter on the natural numbers. We start from the non-standard model $\mathbb{R}^N/D$.
Let $L$ the language $L$ which has a constant symbol for every element of $\mathbb{R}^N/D$, and function symbols, relation symbols of the appropriate arity for every function, relation on $\mathbb{R}^N/D$. Let $T$ be the theory whose axioms are all sentences of $L$ that are true in $\mathbb{R}^N/D$. Extend $L$ by adding a new constant symbol $c$, and extend $T$ to a theory $T'$ by adding the axioms $c\gt \alpha$ for all constant symbols $\alpha$ in $L$.
Then by compactness $T'$ has a model which is an elementary extension of $\mathbb{R}^N/D$ and has elements that are "infinite" with respect to all the elements of $\mathbb{R}^N/D$, and hence positive elements $\epsilon$ which are less than any positive element of $\mathbb{R}^N/D$.