However, Gödel had already discovered this consequence, now known as his second incompleteness theorem and sent von Neumann a preprint of his article containing both incompleteness theorems.
Upon revising the theory of incompleteness, what was the name of the new Godel theory?
second incompleteness theorem