第171章 想不到标题之又通宵了捏(4/4)
实数编号，但总能构造出一个新的实数不在你的列表里——所以实数永远数不完。”“而阿列夫1，就是描述这种数不完的无限的最小等级。”
“阿列夫1不一定等于实数集的势2^阿列夫0，除非接受连续统假设。
“但无论如何，阿列夫1都是最小的不可数基数。”
“因此任何不可数集合，如实数集这些的势 ≥ 阿列夫1。”
“它比任何可数无限的操作都大，例如 阿列夫0+阿列夫0或阿列夫0*阿列夫0。”
“最后总结一下。”
“阿列夫1是最小的不可数无限，比所有能逐个列出的无限都大。”
“比如，自然数、整数、有理数的大小是阿列夫0（可数无限）。”
“但实数的数量多到无法用自然数编号，这种数不清的无限的最小规模就是阿列夫1。”