2025年7月16日
无限集与选择公理
摘要： 我们已经得到了判定集合为无限集的一些法则。例如，若集合\(A\)有一个可数无限子集，或者存在\(A\)与其真子集之间的一一对应，则\(A\)必定为无限集。我们将要证明，这些性质中的任何一个都足以刻画无限集。而这个证明又把我们引向讨论目前我们还没有提到过的逻辑学中的一个问题——选择公理。 定理 9.1 阅读全文
posted @ 2025-07-16 09:04 极大理想 阅读(71) 评论(0) 推荐(0)