Trasladando el argumento de Gödel del dominio matemático al reino de los seres humanos y sus creencias. El autor explica las bases de las ideas de Gödel en un lenguaje comprensible para todos. Una abundante colección de acertijos sobre mentirosos y veraces (bribones y caballeros) acompaña una descripción introductoria de la lógica simbólica y una explicación de la forma de resolver grupos enteros de este tipo de acertijos. En los capítulos posteriores se encuentra, por ejemplo el tema de las "creencias autosuficientes". ¿Cómo puede una mera creencia convertirse en una convicción de que es cierta a través de determinada proposición? ¿Acaso se trata aquí de un fenómeno religioso? Smullyan explica cómo esos sistemas de creencias se relacionan con importantes sistemas matemáticos y, finalmente con la "semántica de los mundos posibles", iniciada por Leibniz y perfeccionada por el lógico Saul Kripke.