There are two main ways to introduce real numbers. Cauchy sequences are one possibility, Dedekind cuts are another. It is surprising how such a for us common thing like real numbers need some elaborated mathematics in order to properly define them. Even the approach by Cauchy sequences needs the concept of equivalence classes.