Aber von Neumann, der am Kongress teilgenommen hatte, bestätigte seinen Ruhm als blitzschnelle Denker, und in weniger als einem Monat konnte er mit Gödel selbst eine interessante Konsequenz seines Satzes kommunizieren: nämlich, dass die üblichen, Systeme nicht in der Lage sind, ihre zu demonstrieren. eigene Konsistenz. Allerdings hatte Gödel diese Konsequenz bereits entdeckt, jetzt bekannt als sein zweiter Unvollständigkeit-Satz und schickte von Neumann einen Vorabdruck seines Artikels, der beide Unvollständigkeit-Sätze enthält. Von Neumann hat Gödel Priorität in seinem nächsten Brief anerkannt. Er hat nie viel von dem amerikanischen System gedacht, um die persönliche Priorität für alles zu beanspruchen.
Was war die Konsequenz der Theorie der Unvollständigkeit?
üblichen, Systeme nicht in der Lage sind, zu demonstrieren ihre eigene Konsistenz