rsity. Both men shared a common objective: to tidy up the loose ends in mathematics and set down the rules once and for all. This movement was called Formalism. Kurt Gédel Formalism David Hilbert and Bertrand Russell believed you should be able to set out all the rules of mathematics even though it might