实数的三种不同定义