The real number system, to the best of my knowledge, consists of all points that make up the number line. Since a line is continuous and infinite, the interval joining any two distinct points on it must be able to be bisected to give a number in between, and therefore any two distinct real numbers must have another real number between them.