1,2}。
以此类推,当一个集合有三个元素,那么它就有八个幂集。当集合元素增加道了四个的时候,幂集就增加到了十六个。
一个集合的幂集,永远比这个集合的元素要多。如果一个集合有n个元素,那么它就有2的n次方个幂集。
无限可数集合的幂集,二的阿列夫零次方,就是人类发现的第二个无限大的数字——阿列夫一。
而连续统问题。也可以概括为“阿列夫零和阿列夫一之间,究竟存不存在另一个基数?”。
有没有一个集合的基数,明确的大于一个无限大,小于另一个无限大?
这就是二十三问当中的第一问。
二十三问当中,第二问、第十问是关系到算学根基的,被认为是极端重要的。也正是因为算主那“完备性、一致性、可判定性”的思想。所以这两问素来被相提并论。但从“提问者”的思路来说,第一问和第二问的关系,反而更为紧密。第一问和第二问,连续统和完备性,根基上是相连的。
第一问的问题引导出了第二问的问题,第二问的解答启发了第十问的解答。
这几个问题,可以看做是一个体系。
当然,希门二十三问当中的