具体来说应该是实数的完备性，因为只考虑稠密性的话，有理数集合就是稠密的。
实数的完备性是说实数和数轴上的点是一一对应的，实数填满了数轴，没有缝隙  
  
【 在 Zinux (Zinux) 的大作中提到: 】
:  你的潜意识里总是基于现实类推，认为实数轴总有某个最小间隔，所以能找到这么个位置。
:  
:  但事实上根据阿基米德公理，没有最小间隔好吧。这叫实数的稠密性。
:  正是用它推翻你的假设，进而证明俩相等的。
--
FROM 111.197.245.*