Kurt Gödel (1906-1978) osztrák származású amerikai matematikus; a matematikai logika, a matematikai analízis és a matematikai fizika terén ért el kimagasló eredményeket. Smullyan e kötete Gödel híres tételével – a nemteljességi tétellel – foglalkozik. Gödel 1931-ben bizonyította be, hogy bizonyos feltételeknek eleget tévő axiómarendszerekben mindig található olyan állítás, amely nem következménye az axiómarendszernek, de az ellenkezője sem, amelyet tehát az axiómarendszeren belül sem bizonyítani, sem cáfolni nem lehet. Smullyan korábbi munkáihoz hasonlóan rendkívül szellemesen és szemléletesen mutatja be és vezeti le a bizonyítási eljárásokat. - A kötet matematikusok, filozófusok, a számítógép-tudománnyal foglalkozó szakemberek számára fontos mű.