用戴德金分割能证明它是个有理数
自己搜吧，我不想再扯了

当然如果引入戴德金分割，那直接证明两者相等就行，没必要再转过来实数稠密性啥的。

【 在 Eldo 的大作中提到: 】
:
: 部分同意你的观点。
:
: 0.9循环根本就不是一个实数。包括0.3循环等。0.*循环只是一个写法而已，实际上根本不存在这个数。
: 好比我生造出一个0.0*02(*代表无穷多个0)这个数。实际上并不存在这个数。你不能用无穷多去设定一个数。
--
FROM 123.114.92.*