Large cardinals are a class of cardinal numbers in set theory that are significantly larger than the cardinals commonly encountered in mathematics, such as the cardinality of the set of natural numbers. Their existence cannot be proved from the standard axioms of set theory (ZFC), and they are used to explore the foundations of mathematics and to establish the consistency and strength of various mathematical theories.