其实你去看教材，如果编写者不想出问题的话，比大小的*定义*通常是减差：
a < b 等价于 a - b < 0

逐位比大小是数字特定表示形式的一种简化算法，不可能是定义。而且教材不想留坑的话，逐位比大小肯定只是适用于有限小数的。

这种我们一般叫定义，不叫公理。
【 在 lytong 的大作中提到: 】
: 无限不循环也实用，比如3.2比π大吧？
: 无限循环也实用，比如3.4＞3.3循环吧？
: 唯独就这个0.9循环不适用，对不对？
: ...................
--
修改:milksea FROM 124.64.18.*
FROM 124.64.18.*