Abstract
This paper analyzes the work of Raymond Smullyan and his approach, which starts form simple logical riddles, gradually proceeds to more complex mathematical statements, and culminates in the proof of Gődel’s Incompleteness Theorems and in an explication of Cantor’s set theory.