Kontinuuma hipotēze - neeksistē kopa, kuras apjoms ir lielāks kā naturālo skaitļu kopai, bet mazāks kā reālo skaitļu kopai. Koens 63. pierādīja, ka tā ir no Zermelo-Frankela aksiomām (standarta matemātikas aksiomas) neatkarīga hipotēze. Značit, ir matemātika, kurā kontinuuma hipotēze ir "patiesa", un ir tāda, kurā nav "patiesa".