Johnny understood everything at first try. There was nobody in the world who could think any faster than he. And what he had just realized, in a blinding flash, was that Gödel’s discovery had totally exploded his prior worldview. All at once, von Neumann understood that there exist true mathematical statements that cannot be derived by formal means from a set of axioms.

— Exact thinking in demented times by Karl Sigmund (Page 222)