a_14，要么等于formula_26，要么严格比它大。康托尔是第一个提出formula_14是否等于formula_26的问题的人。在1900年，希尔伯特把这个问题作为他的23个问题之一。formula_32的陈述现在称为连续统假设，现已知道它独立于集合论的ZF公理（包括选择公理）。