The theorem did not destroy the fundamental idea of formalism, but it did demonstrate that any system would have to be more comprehensive than that envisaged by Hilbert . Gödel's results were a landmark in 20th-century mathematics, showing that mathematics is not a finished object, as had been believed.
Ang teorama hindi wasakin ang pangunahing ideya ng pormalismo, ngunit ito ay nagpapakita na ang anumang sistema ng nais na maging mas komprehensibo kaysa na envisaged sa pamamagitan ng Hilbert. Gödel ang mga resulta ay isang palatandaan sa ika-20 siglo matematika, na nagpapakita na ang matematika ay hindi natapos ang isang bagay, gaya had been sumampalataya.