Large cardinals, for instance, exist outside ZFC — the Zermelo-Fraenkel set theory with the Axiom of Choice, the framework underpinning nearly all modern mathematics. “Numbers ‘so large that ...