Understanding the axioms II: Symmetric extensions for large cardinal axioms

Set theory, and in particular the Zermelo-Fraenkel axioms, can be used to provide a robust foundation for modern mathematics. These axioms provide us with tools to prove that if a certain set exists, then we can build some additional explicit sets. Modern mathematics, however, will often add Axiom of Choice to these axioms. This axiom is different…