Every point on a rational number represents a real number and can be either rational or irrational.
In basic mathematics, number line is a picture of straight line on which every point is assumed to correspond to real number.
And it is axioms so it does not need proof