Gödel's Teorem er en kortfattet introduksjon til det banebrytende arbeidet til Kurt Gödel, som for nesten ett århundre siden presenterte sitt berømte teorem. Dette teoremet viser at ingen aksiomatisering kan fange hele sannheten om aritmetikk. Gödels arbeid utfordret eksisterende oppfatninger om matematikks natur og vekket stor matematisk interesse, samtidig som det reiste dype filosofiske spørsmål. Siden den gang har Gödel's Teorem blitt anerkjent som en milepæl i intellektuell prestasjon, og det har hatt en betydelig innvirkning på moderne matematiske ideer. Selve teoremet har fått en nærmest kultaktig tilhengerskare, til tross for at det ofte misforstås. Denne introduksjonen plasserer teoremet i sin intellektuelle og historiske kontekst, og forklarer de sentrale konseptene samt vanlige misforståelser av hva det faktisk innebærer. A. W. Moore leverer en klar fremstilling av teoremet, med to distinkte bevis, hvor hvert bevis gir en unik innsikt.
