对的，今年西交少招生考了这个。
这个帖子这么热，也没人有耐心去看看李永乐科普。 整个证明过程都讲明白了。

【 在 FlytoSkyBoy 的大作中提到: 】
: 严格证明是戴德金分割，实数连续性
: 数学的发展也不是先有严格证明的，在微积分发明之后才有
:
--
FROM 115.192.37.*