|
|
本帖最后由 elim 于 2017-7-13 21:34 编辑
不是只有数点才是肯定点的存在。[0,1] 的点的个数依赖于你逐次使用巴士公理还得了?你不数 [0,1] 就不存在了?
假定[0,1]的点不是无穷多,那么这些点可以排成有个有限增序列 1=a1 < a2 < ... < an=1. 根据巴士公理, a1, a2 之间有一点 c, 它是 [0,1] 的点但不在 {a1,...,an} 中。这个矛盾证明 [0,1] 的点不是有限个,因而是无穷多。
一辈子玩‘数学’的jzkyllcjl 不懂这个,是不是太窝囊了点? |
|