Hipotesis kontinum

Dalam matematika, hipotesis kontinum adalah hipotesis yang menjelaskan tentang ukuran himpunan tak terhingga yang mungkin. Hipotesis ini berbunyi
Bunyi dari hipotesis kontinum ekuivalen dengan pernyataan bahwa "setiap subhimpunan dari himpunan bilangan real adalah himpunan terhingga, takhingga terhitung, atau mempunyai kardinalitas yang sama seperti kardinalitas himpunan bilangan real." Dalam teori himpunan Zermelo–Fraenkel dengan aksioma pemilihan (ZFC), pernyataan tersebut ekuivalen dengan persamaan dalam bilangan alef 2 ℵ 0 = ℵ 1, atau disingkat dalam bilangan beth ℶ 1 = ℵ 1. Hipotesis kontinum pertama kali dikemukakan oleh Georg Cantor pada tahun 1878. Masalah yang menentukan kebenaran dan kesalahan hipotesis kontinum merupakan salah satu dari 23 masalah Hilbert, yang dikenal sebagai masalah pertama Hilbert, dan masalah ini dikemukakan pada tahun 1900. Jawaban untuk masalah ini adalah independen dari teori himpunan ZFC, sehingga hipotesis kontinum maupun negasinya dapat ditambahkan sebagai aksioma untuk teori himpunan ZFC, dengan teori yang dihasilkan adalah konsisten jika dan hanya jika ZFC konsisten. Independensi ini dibuktikan pertama kali oleh Pauh Cohen pada tahun 1963, dengan menyempurnakan bukti milik Kurt Gödel pada tahun 1940.