 Aside from its technical contribution, then, Gödel’s 1958/72 is one of Gödel’s most important philosophical works; notable for its analysis of the nature of finitary mathematics, as well as its analysis of the notions of “intuitive,” as in “intuitive knowledge,” and that of abstract versus concrete evidence.