实数的概念及性质