D*****r
发帖数: 6791 | 1 先祷告一下，愿神让windmind能够摆脱面对无限时的迷茫，认识到无限的本质、神的本
质。
阿门
非常不严格的说一下：
第一个超限数，就是自然数的集合里元素的个数，aleph-null
比这个超限数大的，是实数的集合里元素的个数，aleph-one
此外，还有实数的集合的所有子集的集合里元素的个数，aleph-two，等等
可以证明aleph-two > aleph-one > aleph-null
连续统假设，就是说aleph-null下一个就是aleph-one,两者之间没有另外的超限数了。
这里就需要公理了，如果“选择公理”成立，那么aleph-null和aleph-one之间没有另
外的超限数了。
你看数学家也用公理，但用了公理仍然需要逻辑，不是你说得那样用了公理就霸道的不
讲逻辑了。 | s*****t
发帖数: 514 | 2 风脑要是脑中风了你要负全责.
【在 D*****r 的大作中提到】
: 先祷告一下，愿神让windmind能够摆脱面对无限时的迷茫，认识到无限的本质、神的本
: 质。
: 阿门
: 非常不严格的说一下：
: 第一个超限数，就是自然数的集合里元素的个数，aleph-null
: 比这个超限数大的，是实数的集合里元素的个数，aleph-one
: 此外，还有实数的集合的所有子集的集合里元素的个数，aleph-two，等等
: 可以证明aleph-two > aleph-one > aleph-null
: 连续统假设，就是说aleph-null下一个就是aleph-one,两者之间没有另外的超限数了。
: 这里就需要公理了，如果“选择公理”成立，那么aleph-null和aleph-one之间没有另
| B********e
发帖数: 19317 | |
|
