section_heading: Hipoteza kontinuuma
paragraph_text: Hipoteza kontinuuma je neovisna od Zermelo-Fraenkel teorije skupova s aksiomom izbora: ne može se ni dokazati niti opovrgnuti unutar konteksta tog aksiomatskog sustava. Kurt Gödel je 1940. dokazao njenu konzistentnost sa ZF teorijom skupova s aksiomom izbora; Paul Cohen je 1963. demonstrirao neovisnost od ZF teorije skupova s aksiomom izbora.