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