Na zawsze niezostrzygnięte. Zagadkowy przewodnik po twierdzeniach Gödla

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 Gödla, ż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ść.