有没有哪个公理体系下，
这俩相等？

【 在 milksea 的大作中提到: 】
: 我惊讶的是网上的说法居然不一样。
: 比较基数用对角线法，Contor的经典证明。当然需要先熟悉一下势的双射定义，以及可数无穷多的基本性质。
: 一般是先熟悉证明有理数和自然数等势、进而所有可数无穷集都等势这种重要结论，然后用对角线法证明区间内实数不可数，再推论无理数不可数。
: ...................
--
FROM 112.3.207.*