Open Research Index

A Foundation for the Core Mathematician

David Mumford, Sy-David Friedman

arXivarxiv/2605.03868May 5, 2026math.LOscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2605.03868
curl -X POST /api/v1/records/arxiv/2605.03868/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.03868/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'