Gedel je dokazao da ako je teorija skupova neprotivrečna, u njoj se nontinuum hipoteza ne može opovrgnuti. Takođe, uveo je važne pojmove vezane za modele teorije skupova, kao što su tranzitivnost i apsolutnost, koji se koriste i u Koenovoj forsing metodi, mada je forsing daleko složeniji od toga.