忽然想起之前读的微积分发展史，有这么一个问题，关于实数的无限可分和无限不可分问题。我记得有这么两个观点，但不知道哪个是现在的主流观点。通俗的叙述一下，大概是无论多么小的一个距离，都是可以切开分成更小的距离的。而无限不可分是存在一个"最小线段"，但是一个线段，无论怎么分，都不可能达到最小线段，但确确实实存在。我一开始也想着认同无限可分，但是有这么一个问题。假设无限可分，那么就不存在一个点相邻的另一个点，因为其中间的距离还是可以分的。

没毛病啊，所以没有最小的正实数啊