严格证明是戴德金分割，实数连续性

数学的发展也不是先有严格证明的，在微积分发明之后才有


【 在 Zinux 的大作中提到: 】
: 所有分数、无限小数的所谓证明都是不严密的，就不要来摆了。
: 下面是网上找的一个证明，个人觉得还比较靠谱。
: 先从把问题转为严谨的数学表述开始，通过实数稠密性和阿基米德公理，证明两者间不存在任何实数，进而证明两者是同一个数的不同形式。
: ...................
--
FROM 223.167.142.*