In 1934 Gödel gave a series of lectures at the Institute for Advanced Study (IAS) in Princeton, New Jersey, entitled On undecidable propositions of formal mathematical systems.
En 1934 Gödel presentou unha serie de aulas no Institute for Advanced Study - (IAS) - de Princeton tituladas Sobre as proposicións indecidíbeis dos sistemas matemáticos formais.