  The independence results in arithmetic and set theory led to a proliferation of mathematical systems.  One very general way to investigate the space of possible mathematical systems is under the relation of interpretability.  Under this relation the space of possible mathematical systems forms an intricate hierarchy of increasingly strong systems.  Large cardinal axioms provide a canonical means of climbing this hierarchy and they play a central role in comparing systems from conceptually distinct domains.