Denne boken gir en konsis og selvstendig innføring i matematikks grunnleggende prinsipper. Den første delen dekker de fundamentale begrepene innen matematisk logikk, inkludert logiske aksjoner, formelle bevis og de grunnleggende aspektene ved modellteori. Bygget på dette presenterer forfatterne i den andre og tredje delen av boken detaljerte bevis for Gödel's klassiske fullstendighets- og utilstrekkelighetsteoremer. Spesielt inneholder boken et fullt bevis for Gödel's andre utilstrekkelighetsteorem, som angir at det er umulig å bevise konsistensen av aritmetikk innenfor dens aksjoner. Den siste delen er viet en innføring i moderne aksiomatisk mengdeteori basert på Zermelos aksjoner, og byr på en fremstilling av Gödels konstruktible univers av mengder. Et tilbakevendende tema i hele boken er standard- og ikke-standardmodeller av flere teorier, inkludert Peano-aritmetikk, Presburger-aritmetikk og de reelle tallene. Boken henvender seg til studenter på bachelornivå i matematikk og er godt egnet for deres læring.
