Hipotesis kontinum, yeng meuncoba meumastikan kardinalitasrelatif dari himpunan haa hingga tertentu, akhe jih teubukti independen dari himunan aksioma teori himpunan Zermelo-Fraenkel yeng diteurimeng seucara luah.