A Foundation for the Core Mathematician
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918484962705408 |
|---|---|
| author | Mumford, David Friedman, Sy-David |
| author_facet | Mumford, David Friedman, Sy-David |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_03868 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A Foundation for the Core Mathematician Mumford, David Friedman, Sy-David Logic 03A05 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. |
| title | A Foundation for the Core Mathematician |
| topic | Logic 03A05 |
| url | https://arxiv.org/abs/2605.03868 |