实数的性质是什么