Книга видного американского математического логика, философа и музыканта Раймонда М. Смаллиана, знакомого русскому читателю по серии книг по занимательной математике и логике ('Как же называется эта книга', 'Принцесса и тигр', 'Алиса в стране смекалки'), представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Гегеля перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношения с математикой. Это приводит к семантике возможных миров. Которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.