I 1931 ble det publisert en relativt kort artikkel med den vanskelige tittelen 'Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme' i et tysk vitenskapelig tidsskrift. Forfatteren av dette bemerkelsesverdige verket var Kurt Godel, en 25 år gammel matematiker ved Universitetet i Wien, som i 1938 ble fast ansatt ved Institute for Advanced Study i Princeton. Denne artikkelen markerer et viktig vendepunkt i logikkens og matematikkens historie. Da Harvard University tildelte Godel en æresgrad i 1952, ble arbeidet hans beskrevet som en av de mest betydningsfulle fremskrittene innen logikk i moderne tid. På tidspunktet for publikasjonen var imidlertid hverken tittelen eller innholdet i Godels papir forståelig for de fleste matematikere.
