Inkompletthet er et fascinerende fenomen som befinner seg i skjæringspunktet mellom matematiske fundamenter, informatikk og epistemologi, og setter en grense for hva som kan bevises. Til tross for sin betydning, blir dette emnet ofte oversett i matematikklæreplaner, ettersom det kan være utfordrende å undervise i. Denne boken har som mål å fylle dette pedagogiske gapet ved å tilby en komplett og tilgjengelig teknisk presentasjon av inkompletthet for et bredt publikum. Forfatteren oppnår dette ved å gjøre konseptuelt vanskelige bevis mer forståelige gjennom intuitive forklaringer av hovedideene. Det legges vekt på å fremheve de ulike lagene i den matematiske argumentasjonen – laget som handler om selve systemet, og metanivået som omhandler det aksiomatiske systemet. Bokens struktur gjør den effektiv i sin gjennomgang av nøkkelresultater, og den velformulerte tilnærmingen sikrer at man raskt når frem til noen av de mest interessante konseptene. Den begynner med Gödels inkompletthetsteoremer og fortsetter med komplekse begreper som berører det aritmetiserte fullstendighetsteoremet.
