An interactive museum exhibit on Cantor's diagonal argument — touch the most elegant proof in the history of mathematics. Six galleries, from Galileo's paradox to Cantor's breakthrough.