线上的点可以放入一对一通信使用实数.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“Cantor Dedekind公理。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Cantor-DedekindAxiom.html
