Czy jest możliwe, aby racjonalna istota ludzka znalazła się w położeniu, gdy nie może wierzyć, iż jej przekonania są niesprzeczne, bez popadnięcia przy tym w sprzeczność? Jest to jeden z głównych tematów tej książki. Wzorowany jest on na słynnym odkryciu Kurta Godla, że dowolny niesprzeczny system matematyczny o mocy wystarczającej do uprawiania tego, co znamy pod nazwą elementarnej arytmetyki, musi podlegać zaskakująco bolesnemu ograniczeniu polegającemu na tym, iż jego własnej niesprzeczności nie da się w nim nigdy dowieść. (Z przedmowy)