Asked by jonathan

The Large Cardinal Project.
Answered by 🐯Tiger🐯
A large cardinal axiom is an axiom stating that there exists a cardinal (or perhaps many of them) with some specified large cardinal property. Most working set theorists believe that the large cardinal axioms that are currently being considered are consistent with ZFC.