“U jednom njemačkom znanstvenom časopisu pojavio se 1931. razmjerno kratak članak odbojna naslova ‘Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I’ (‘O formalno neodlučivim stavcima Principia Mathematica i srodnih sustava I’). Njegov je autor bio Kurt Gödel, tada mladi dvadesetpetogodišnji matematičar na Sveučilištu u Beču, a od 1938. stalni član Instituta za napredni studij na Princetonu. Taj članak predstavlja prekretnicu u povijesti logike i matematike. Kada je Sveučilište Harvard dodijelilo 1952. Gödelu počasni doktorat, u javnoj se pohvali taj rad opisuje kao jedan od najznačajnijih koraka u logici u moderno doba. […]
Cilj je ove rasprave da bit Gödelovih pronalazaka i opći karakter njegova dokaza učini pristupačnim nestručnjaku.”
(Iz Uvoda)
Drugi dio ove knjige donosi prijevod spomenutog Gödelova članka.