1940-yilda Kurt Gyodel AQSHga koʻchib oʻtdi. Keyinchalik suhbat davomida matematik Amerika ALFASI mantiqan toʻliq emasligini va Gyodelga yaxshi tanish boʻlgan xavfni saqlab qolishini isbotlamoqchi boʻlganida xushmuomalalik bilan toʻxtatildi. ALFANI bir soʻz bilan ayting.