证明很复杂，还引用阿基米德公理。
其实直接用以下公理就可以直接得出结论，不用证明：
两个数比较大小，从最高位比起，相同数位比较，其中数字大的数就大。
这个公理不能推翻吧？
【 在 Zinux 的大作中提到: 】
: 所有分数、无限小数的所谓证明都是不严密的，就不要来摆了。
: 下面是网上找的一个证明，个人觉得还比较靠谱。
: 先从把问题转为严谨的数学表述开始，通过实数稠密性和阿基米德公理，证明两者间不存在任何实数，进而证明两者是同一个数的不同形式。
: ...................
--
FROM 1.93.32.*