合和所有函数的集合或所有可能的几何曲线的集合，其大小为 阿列夫1。”

    “这是假设连续统假设成立。”

    “阿列夫1是像所有实数或所有可能的函数这种集合的规模。”

    “它比所有自然数或所有程序代码（??）的无限大得多，因为实数根本无法用列表穷举。”

    “康托尔证明，实数的数量严格多于自然数，即使阿列夫0已经是无限。”

    “他的方法也就是对角线法可以通俗解释。”

    “假设你试图用自然数给所有实数编号，但总能构造出一个新的实数不在你的列表里——所以实数永远数不完。”

    “而阿列夫1，就是描述这种数不完的无限的最小等级。”

    “阿列夫1不一定等于实数集的势2^阿列夫0，除非接受连续统假设。

    “但无论如何，阿列夫1都是最小的不可数基数。”

    “因此任何不可数集合，如实数集这些的势 ≥ 阿列夫1。”

    “它比任何可数无限的操作都大，例如 阿列夫0+阿列夫0或阿列夫0*阿列夫0。”

    “最后总结一下。”

    “阿列夫1是最小的不可数无限，比所有能逐个列出的无限都大。”

    “比如，自然数、整数、有理数的大小是阿列夫0（可数无限）。”

    “但实数的数量多到无法用自然数编号，这种数不清的无限的最小规模就是阿列夫1。”