读朱梧贾槚的《数学无穷与中介的逻辑基础》看到了上述原则：所谓相异实数有穷差位判别原则，指的是二实数相异，当且仅当它们的小数展开式中，存在着某有穷位上的小数互异。
这个原则解答了我看Cantor对角线法证明时的疑惑，因为不使用此原则，可以很方便地建立实数集与自然数集间的一一对应，对角线证法不成立。