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

对两个都是无限小数的情况应该也实用，比如，3.3的循环＞π。
你说不适用可不可以举例一下。（除了我前面提到这个0.9的所谓例外）
【 在 nikezhang 的大作中提到: 】
: 对两个都是无限小数的情况不适用，因为有理数的表示法不唯一
--
FROM 1.93.32.*