Gödel visitaría nuevamente el IEA en otoño de 1935, pero los viajes y el intenso trabajo lo habían extenuado.