直线上的点可以与实数建立一一对应关系。
更多尝试
韦斯坦因,埃里克·W. "康托尔-戴德金公理。" 来自 ——Wolfram 网络资源。 https://mathworld.net.cn/Cantor-DedekindAxiom.html