Do 7. listopada 1930. godine smatralo se da je moguće ostvariti veliki plan matematičara Davida Hilberta koji se zalagao za striktni formalizam u matematici, koncepciju prema kojoj simboli i operacije na simbolima čine središte matematike. To je trebalo osigurati siguran temelj matematike, teorija je trebala biti kompletna, konzistentna i neproturječna. A onda je 7. listopada 1930. za govornicu konferencije matematičara u Königsbergu izašao 24 godine star matematičar Kurt Gödel i održao predavanje nakon kojeg je bilo jasno da Hilbertov plan nije moguće ostvariti. Što je Gödel rekao tog 7. listopada 1930. godine? Poslušajte u Occamovoj britvi.