axiomatic sets 25 (real numbers)

We have constructed rational numbers by using the ordered pairs of two integers.

Unfortunately irrational numbers cannot be explicitly constructed from integers by such the way.
But we know there are many irrational numbers. For example, $\sqrt{2},\sqrt{3},\pi,e,\cdots$ .

We are enough in living using rational numbers. Almost people will be satisfied by the number "3.14" as $\pi$ .
No one requires the numbers which has infinite digits.

However, in rigorous thought as mathematics numbers which can not be represented by rational numbers are needed.
Area of circle must be $\pi r^2$ , not $3.14r^2$ , and
the answer of the equation $x^2-2=0$  must be $\pm\sqrt{2}$ , not $\pm 1.4142$ .  

Irrational numbers may be defined by numbers which cannot be represented by a rational number
(that is, one ordered pair of two integers. )

As you know well, real numbers are made by rational numbers and irrational numbers.
In other words, real numbers are made by rational numbers and numbers which are not rational numbers.

Such a definition will give us much frustration. I will also agree with it.
We have already known complex numbers or quaternion and these are neither rational
nor irrational numbers.

We want to know how to make real numbers by rational numbers and irrational numbers.

Thus, what is real number was one of much important issues around the end of 19century.

The answer was given by R.Dedekind or G.Cantor, etc.
(In the preceding posts, we have seen the properties of real numbers.)