This is an introductory course to the theory of large cardinals (higher infinity axioms) and their applications.