formula_10更“不可数”，因为它的基数是formula_21，它比formula_14还要大。一个更加抽象的例子，是所有可数序数的集合，记为formula_23或formula_24。formula_23的基数记为formula_26。利用选择公理，可以证明formula_26是最小的不可数基数。于是，实数的基数formula_14，要么等于formula_26，要么严格比它大。康托尔是第一个提出formula_14是否等于formula_26的问题的人。在1900年，希尔伯特把这个问题作为他的