ABSTRACT
The conception of formalism as uninterpreted, but interpretable, systems that was wavering into focus during the 1920s achieved clarity in Godel’s 1931 paper. The historical irony here is that while this clarity fulfilled one of Hilbert’s demands for firm foundations, the Gijdel results themselves have been seen as frustrating Hilbert’s central epistemological desire.
