本书共由五篇小说组成。即“语法树”、“可能世界”、“实无穷”、“形式国”、“神谕”。每一篇小说都是纪念一个伟大的现代数理逻辑学家，他们分别是蒙塔古、克里普克、康托尔、希尔伯特和图灵，可以说基本上囊括了公理集合论、递归论、模型论、证明论这几个现代数学的主流方向。小说选材独到，范式新颖。跟随作者的想象，一起与这些数理逻辑学家面对面，文科生不用担心自己数学不好而却步，理科生也不要担心理解不了文字表达，只管用文字去感受、想象，你会惊叹：小说原来还可以这样写。毕竟8.8的豆瓣评分，让这本披着数理逻辑外衣的小说，有了更强大的读者认证。