\begin{definition}[Definition:Real Number/Axiomatic Definition]
Let $\struct {R, +, \times, \le}$ be a Dedekind complete ordered field.
Then $R$ is called the '''(field of) real numbers'''.
\end{definition}