スマリヤンが追求した不完全性定理後の数理論理学。数学者レイモンド・Ｍ・スマリヤン（１９１９-２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のジョークも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。