About

Large cardinals are such cardinals whose existence cannot be proved within $\sf ZFC$, and requires stronger axioms to be added to $\sf ZFC$, they are often used to measure the consistency strength of a certain statement in the language of set theory.

For further reading:

history | show excerpt | excerpt history