Hipotesis kontinum, nang mencoba memasti akan kardinalitas relatif dari himpunan tak hingga khusus, akhirnya tebukti mandiri dari himpunan aksioma teori himpunan Zermelo-Fraenkel nang didapat secara umum.