He did important work in set theory, logic, and the foundations of mathematics. A central focus of his work was the search for new axioms of mathematics. The study of new axioms in mathematics ...
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 ...