在康托的集合论中,“无穷势中可数无穷势是最小的势,连续统势使次小的势”,这一命题为真命题,已经被证明。（）

A.正确

B.错误

正确答案：B