对于将一条线上的所有点分成两个非空的每一个分区套这样，任何一个点都不位于另一个点的两点之间，就有一个点第页，共页设置它位于这两个点之间设置以及另一个的每一点设置.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“Dedekind的公理。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/DedekindsAxiom.html
