连续统假设
连续体假说是一个假设，即不存在一个既比自然数大又比实数小的集合。乔治-康托尔于1877年提出这一假设。
有无限多的自然数，自然数集的cardinality是无限的。对于实数集也是如此，但是实数比自然数多。我们说自然数有无限的cardinality，实数有无限的cardinality，但是实数的cardinality比自然数的cardinality大。
这个假说是大卫-希尔伯特在1900年发表的23个问题清单中的第一个问题。库尔特-哥德尔（Kurt Gödel）在1939年表明，该假设无法用泽梅洛-弗拉恩克尔集合理论来证伪。Zermelo-Fraenkel集合理论是数学中常用的集合理论。保罗-科恩在20世纪60年代表明，泽梅洛-弗拉恩克尔集合理论也不能用来证明连续体假说。为此，科恩被授予菲尔兹奖。
问题和答案
问：什么是连续体假说？答：连续体假说是一种假设，即不存在一个既大于自然数又小于实数的集合。
问：谁在什么时候提出连续统假设？
答：乔治-康托尔在1877年提出了连续统假设。
问：是否有无限多的自然数？
答：是的，有无限多的自然数。
问：什么是自然数集的cardinality？
答：自然数集的cardinality是无限的。
问：是否有比自然数更多的实数？
答：是的，实数比自然数多。
问：连续统假设能否用泽梅洛-弗拉恩克尔集合理论加以证伪？
答：库尔特-哥德尔在1939年表明，该假说不能用泽梅洛-弗拉恩克尔集合理论来证伪。
问：谁表明泽梅洛-弗拉恩克尔集合理论不能用来证明连续统假设？
答：保罗-科恩（Paul Cohen）在20世纪60年代表明，泽梅洛-弗拉恩克尔集合理论不能用来证明连续体假说。
