A Foundation for the Core Mathematician

Abstract: 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 questions such as the measurability of projective sets can vary between models. The core of mathematics resides in the study of structures built from the set R of real numbers. This paper proposes a foundation for core mathematics, with both a system of axioms and a definite model of those axioms, in which essentially all core mathematics is incorporated. This definite model delivers a definite truth-value, either true or false, to any core mathematical assertion.