Classically, then, if two real numbers are not equal, one would conclude that there exists a rational number between them, however it does not follow that one can actually construct such a number.
Classically, then, if two real numbers are not equal, one would conclude that there exists a rational number between them. However it does not follow that one can actually construct such a number.