Μια εξαιρετική συλλογή προβλημάτων -παραδόξων, μεταγρίφων, αινιγμάτων συνδυαστικής, κ.λπ.- της σύγχρονης μαθηματικής λογικής, που έχει ως κύριο σκοπό να εξηγήσει (με τρόπο, ομολογουμένως, μοναδικό) το θεώρημα της μη πληρότητας του Godel και το θεώρημα της τυπικής μη ορισιμότητας της αλήθειας του Tarski. Στο πρώτο τμήμα του βιβλίου, υγιείς και παράφρονες, βρικόλακες, ψυχίατροι, ονειρευόμενοι, μάγοι, βασιλιάδες, ιππότες και ιπποκόμοι -μια εντυπωσιακή παράθεση από φανταστικούς χαρακτήρες- θέτουν ερωτήματα, και ο αναγνώστης καλείται να λύσει γρίφους και σπαζοκεφαλιές με αυξημένη δυσκολία. Ένας αμερόληπτος βασιλιάς δίνει στους κρατούμενούς του τα εντελώς απαραίτητα δεδομένα για να επιλύσουν ένα έξυπνο αίνιγμα και να κερδίσουν την ελευθερία τους (και πιθανόν μια πανέμορφη νύφη!)... Ο επιθεωρητής Κρέιγκ, της Σκότλαντ Γιαρντ, καλείται στη Γαλλία για να εξιχνιάσει την αλλόκοτη κατάσταση σε έντεκα άσυλα όπου ουδείς μπορεί να διαχωρίσει ποιοι είναι οι γιατροί και ποιοι οι νοσηλευόμενοι... Το δεύτερο τμήμα του βιβλίου αποτελεί μια μαθηματική νουβέλα -η πρώτη στο είδος! Ο επιθεωρητής Κρέιγκ, ξεκινώντας από ένα πρακτικό πρόβλημα σχετικά με το θησαυροφυλάκιο μιας τράπεζας, και με την ανέλπιστη συνδρομή δύο φίλων και των υπολογιστικών μηχανών τους, θα κολυμπήσει στα βαθιά νερά των μαθηματικών, από όπου τελικώς θα οδηγηθεί στην ουσία της επαναστατικής γκεντελιανής θεωρίας της μη αποκρισιμότητας.