Boken 'Gödel's Theorem' skiller seg ut blant de mange framstillingene av Gödel's ufullstendighetsteoremer som er skrevet for ikke-spesialister. Med enestående klarhet gir Franzén nøye, ikke-tekniske forklaringer av både hva teoremene handler om, og kanskje enda viktigere, hva de ikke sier. Ingen annen bok tar for seg misforståelsene og feilbruken av ufullstendighetsteoremene i så stor detalj, noe som gjør denne utgivelsen unik. Som et motstykke til de mange falske fremstillingene av ufullstendighet i teologiske, antimekanistiske og post-modernistiske debatter, er dette en verdifull tilførsel til litteraturen.