The book is about strong axioms of infinity (also known as large cardinal axioms) in set theory, and the ongoing search for natural models of these axioms. Assuming the Ultrapower Axiom, we solve various classical problems in set theory (e.g., the Generalized Continuum Hypothesis) and develop a theory of large cardinals that is much clearer than the theory that can be developed using only the standard axioms.