In set theory, the large cardinal hierarchy extends a base theory like ZFC with progressively stronger axioms that can decide more statements than the base theory, or even help us approach the “true ...