A celebrated mathematician presents more than 200 increasingly complex problems that delve into Gödel's undecidability theorem and other examples of the deepest paradoxes of logic and set theory. Solutions.