 However, Gödel had already discovered this consequence, now known as his second incompleteness theorem, and he sent von Neumann a preprint of his article containing both incompleteness theorems.Von Neumann acknowledged Gödel's priority in his next letter.He never thought much of "the American system of claiming personal priority for everything."