亚里士多德的三段论，建立了公理体系；欧几里得根据这个公理体系，作为这个理论的一个实践，接着的非欧几何进一步验证了这个体系；希尔伯特，总结了公理体系中公理/假设的三个特点。

二十世纪初，有一个哲学家写了一本书，叫做，我们当代科学纲领之批判，论证逻辑的起点是不可证明的。

所以，稍微对逻辑/科学史/哲学史有一点点了解的人，都不会轻易说0.999999(无穷个9)等于1，或者不等于1.这取决于你假设的起点：如果假设无穷小是不可比的（或等价假设），那么就是等于；如果假设可比，那么就是不等。

二十年前，在quora上有一个人是这么分析过这个问题了。我只是搬运，不负责任


【 在 wfunny 的大作中提到: 】
: 娃初一，常问无穷相关的问题，从小学问到初中，问了很多次。我感觉我说的很不清楚。
: 记得我小学六年级，有一道0.999999(无穷个9)和1比大小。老师说是相等，我比较认真，就追着老师问，为啥是相等，他们之间不是永远也差一个1？  老师就开始解释，整了10分钟面红耳赤，后来来个，这个不会考的，如果考，填相等保证正确。我觉得她自己都没把自己说清楚！
: 无穷在生产中生活中是不存在的，是一个虚拟的概念，怎么教小孩无穷，他们更容易理解？
: ...................
--
FROM 49.185.124.*