Takes the reader on a journey through Ramsey theory, from graph theory and combinatorics to set theory to logic and metamathematics. The book develops two basic principles of Ramsey theory: many combinatorial properties persist under partitions, but to witness this persistence, one has to start with very large objects.