3.[判断题]在康托的集合论中，“无穷势中可数无穷势是最小的势，连续统势使次小的势”，这一命题为真命题，已经被证明。()A. 对B. 错

考查要点：本题主要考查对康托集合论中无穷势层级及连续统假设的理解，特别是对其证明状态的掌握。

关键思路：

1. 可数无穷势是所有无穷集中最小的势，这一点已被证明成立。
2. 连续统势（实数的势）是否为“次小的势”依赖于连续统假设，而该假设在标准集合论公理体系（ZFC）中是独立的，即无法被证明为真或假。
3. 题目中“已经被证明”的表述与事实矛盾，因此命题为假。

康托的集合论中：

1. 可数无穷势（如自然数集的势）是所有无穷集中的最小势，这一结论已被严格证明。
2. 连续统势（如实数集的势）是否为“次小的势”涉及连续统假设，即不存在任何集合的势介于可数无穷势和连续统势之间。
3. 康托本人未能证明连续统假设，后续研究（如哥德尔和科恩的工作）表明，该假设在ZFC公理体系中无法被证明或证伪。
4. 题目中“已经被证明”的表述错误，因此原命题不成立。