Gödel gav andre banebrytende bidrag til matematisk logikk, særlig innen mengdelære, i samband med den såkalte kontinuumshypotesen. Hans resultater på dette området er å finne i et annet kjent verk, (1940).