Позже он эмигрировал в Соединенные Штаты, чтобы избежать последствий Второй мировой войны.
Более известная из двух теорем гласит, что если существуют непротиворечивые аксиоматические системы, достаточно мощные, чтобы описать себя, то в этих системах будут вещи, которые истинны и не могут быть доказаны внутри самой системы.