En 1934, Gödel impartió una serie de conferencias en el Instituto de Estudios Avanzados (IEA) en Princeton, titulada "Sobre las proposiciones indecidibles de los sistemas matemáticos formales".