Die Kontinuumshypothese wurde 1878 vom Mathematiker Georg Cantor aufgestellt und beinhaltet eine Vermutung über die Mächtigkeit des Kontinuums, das heißt der Menge der reellen Zahlen. Dieses Problem hat sich nach einer langen Geschichte, die bis in die 1960er Jahre hineinreicht, als nicht entscheidbar herausgestellt, das heißt die Axiome der Mengenlehre erlauben in dieser Frage keine Entscheidung.