实数完备性 集合论实数完备性(那几个实数连续性命题) 深入一点来讲是不是属于集合论,或者由集合论的一个应用?比如其中的可