In mathematics, a cardinal is called a large cardinal if it belongs to a class of cardinals the existence of which (provably) cannot be proved within ZFC (assuming ZFC itself is consistent). Here are some large cardinals, arranged in order of the consistency strength:
