广义连续统假设

…(CH)及其扩展,广义连续统假设(我们),也是意义深远的。在以下的讨论这些问题,ZF表示Zermelo-Fraenkel集合理论没有交流。第一个发现是由库尔特。哥德尔在1939年获得的。他证明了交流,我们相对于ZF是一致的(也就是说,…

更强的语句是广义连续统假设(我们):2^ℵ_α=ℵ_{α+ 1}对于每一个序数α。波兰数学家Wacław Sierpiński证明我们可以推导出公理的选择。

…只有当建立“广义连续统假说”认为,根据下一个最高基数无限集的幂集)。