"In conversations, some quite recent, on the present status of the foundations of mathematics, von Neumann seemed to imply that in his view, the story is far from having been told. Gödel's discovery should lead to a new approach to the understanding of the role of formalism in mathematics, rather than be considered as closing the subject."