“In 1938, Kurt Gödel proved that the continuum hypothesis is consistent with the ZFC axioms of set theory by constructing a model of set theory called the constructible universe (L) where it holds true.”