()正确在康托的集合论中，“无穷势中可数无穷势是最小的势，连续统势使次小的势”，这一命题为真命题，已经被证明