概念 康托的連續統基數問題：1874年，康托猜測在可數集基數和實數集基數之間沒有別的基數，即著名的連續統假設。1938年，僑居美國的奧地利數理邏輯學家哥德爾證明連續統假設與ZF集合論公理系統的無矛盾性。1963年，美國數學家科思（P.Choen）證明連續統假設與ZF公理彼此獨立。因而，連續統假設不能用ZF公理加以證明。在這個意義下，問題已獲解決。 相關條目數學
