https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird
Smullyan "tricks" you into deriving the Gödel Incompleteness Theorem from the BCKW combinator calculus.