This book unifies ideas from set theory and mathematical logic and traces their effects on mainstream mathematical topics of today, such as number theory and combinatorics. Ideas are shown to evolve from natural mathematical questions about the nature of infinity and the nature of proof, set against a background of broader questions and developm