实数的严格定义康托尔基本列说定义实数的具体内容