Abstrakt
Článek je věnován dílu Raymonda Smullyana. Analyzuje jeho přístup, který začíná od jednoduchých logických hádanek, jež postupně rozpracovává do složitějších matematických tvrzení, a kulminuje v důkazu Gődelových vět o neúplnosti a výkladu nekonečna v Cantorově teorii množin.