A Foundation for the Core Mathematician

David Mumford, Sy-David Friedman

The foundations of mathematics have long been considered settled by the Zermelo-Fraenkel-Choice axioms. But set theory abounds in models with different truths and even classical qu…