arxiv: 2605.03868 · v1 · submitted 2026-05-05 · 🧮 math.LO

Recognition: unknown

A Foundation for the Core Mathematician

David Mumford, Sy-David Friedman

Pith reviewed 2026-05-09 15:35 UTC · model grok-4.3

classification 🧮 math.LO

keywords foundations of mathematicsaxiom systemsmathematical modelscore mathematicsreal numberstruth valuesindependence phenomena

0 comments

The pith

A system of axioms and one definite model assigns a fixed true or false value to every core mathematical assertion about structures built from the reals.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proposes both a system of axioms and one definite model of those axioms. This model incorporates essentially all of core mathematics, which consists of structures built from the real numbers. As a result, every assertion in core mathematics receives a definite true or false value in the model. This approach addresses the issue in set theory where different models can assign different truth values to the same statement, such as questions about projective sets. A sympathetic reader would care because it offers a stable foundation that could resolve long-standing ambiguities in mathematical truth.

Core claim

The authors put forward both a system of axioms and a definite model of those axioms in which essentially all core mathematics is incorporated, thereby delivering a definite truth-value to any core mathematical assertion.

What carries the argument

The definite model of the axioms, which incorporates all structures built from the set of real numbers and fixes truth values for assertions about them.

If this is right

Every assertion in core mathematics receives a unique true or false evaluation.
Classical questions like the measurability of projective sets receive fixed answers.
Core mathematics avoids the independence phenomena that occur across different models of set theory.
The model serves as a single setting that contains all standard structures studied in core mathematics.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Mathematicians working with real-number structures could treat statements as settled once and for all rather than model-dependent.
Teaching and research in analysis and geometry might simplify by removing the need to track multiple possible truth values.
The approach opens the possibility of checking consistency of the model against specific open problems in core mathematics.

Load-bearing premise

A single consistent model of the axioms exists that incorporates essentially all core mathematics while remaining free of independence phenomena.

What would settle it

The discovery of a core mathematical statement, such as one concerning the measurability of a projective set, whose truth value cannot be fixed within the proposed model.

Figures

Figures reproduced from arXiv: 2605.03868 by David Mumford, Sy-David Friedman.

**Figure 1.** Figure 1: The dotted vertical lines represent two dart throwers at different points view at source ↗

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Mumford and Friedman propose axioms plus a definite model for core math that would fix truth values and sidestep ZFC independence, but the paper supplies neither the axioms nor the model construction.

read the letter

The main thing here is that the authors want a foundation built around structures from the reals, with both axioms and one specific model that incorporates essentially all core mathematics and assigns every statement a fixed true or false value. They correctly observe that ZFC produces models with conflicting answers on questions like projective measurability, yet those questions rarely touch the mathematics most researchers actually use. That framing is useful and direct. What the paper does well is to isolate the practical core and argue that a tailored foundation could remove unnecessary ambiguity without losing the structures people rely on. The authors are experienced enough in their areas that the direction is worth considering on its face. The soft spots are substantial and central. The abstract states the goal but gives no list of axioms and no description of the model as a concrete set-theoretic object. Without an explicit construction, plus a check that the model satisfies the axioms, remains consistent, and actually decides all core statements, the claim that it eliminates independence phenomena has no evidence behind it. The stress-test note is accurate on this point: the load-bearing step is missing, and there is a real risk that any model offered later was chosen precisely to make the desired statements true. If the full paper contains that construction and verification, the picture changes; based on the text provided, it does not. This paper is for readers who follow foundations of mathematics and want to see attempts to restrict set theory to the parts that matter for analysis and geometry. A working mathematician looking for a ready system to cite or adopt will not find one here. It still deserves a serious referee because the problem is real, the authors are serious, and the proposal could be sharpened into something checkable with the missing details supplied. I would send it to peer review with a request for the explicit model and consistency argument.

Referee Report

3 major / 1 minor

Summary. The paper claims that ZFC is inadequate for core mathematics due to independence phenomena and proposes a new foundation consisting of a system of axioms together with a definite model of those axioms. This model is asserted to incorporate essentially all structures built from the reals and to assign a definite truth value (true or false) to every core mathematical assertion, thereby eliminating independence results such as those concerning projective sets or the continuum.

Significance. If the paper delivered an explicit, consistent axiom system and a concrete model construction that verifiably contains all core structures and decides all relevant statements, the result would be highly significant for the foundations of mathematics. It would supply a canonical semantics resolving independence issues that have persisted since the development of forcing and inner models in set theory. No such elements are present in the manuscript, however, so the significance cannot be assessed.

major comments (3)

Abstract: The central claim requires both an explicit system of axioms and a definite model (as a concrete set-theoretic object or class) that satisfies the axioms, contains all core structures, and decides every assertion about them. No axioms are stated anywhere in the manuscript, rendering it impossible to check consistency or model satisfaction.
Abstract: No construction or description of the promised definite model is supplied, nor is there any verification that the model incorporates structures built from the reals or assigns fixed truth values to core statements (e.g., measurability of projective sets). This omission is load-bearing for the claim that independence phenomena are eliminated.
Abstract: The assertion that the model 'delivers a definite truth-value... to any core mathematical assertion' is unsupported by any argument showing how the model differs from ZFC models or decides specific independent statements. Without this, the proposal reduces to an unverified existence claim.

minor comments (1)

The title refers to 'the Core Mathematician' but the abstract discusses 'core mathematics'; consistent terminology would improve clarity.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their detailed comments on our manuscript. We agree that the presentation of the proposed axioms and model needs to be more explicit and will revise the manuscript to include these details.

read point-by-point responses

Referee: Abstract: The central claim requires both an explicit system of axioms and a definite model (as a concrete set-theoretic object or class) that satisfies the axioms, contains all core structures, and decides every assertion about them. No axioms are stated anywhere in the manuscript, rendering it impossible to check consistency or model satisfaction.

Authors: We acknowledge this point. The revised version of the manuscript will include an explicit statement of the axiom system in a new section, allowing for checks of consistency and satisfaction. revision: yes
Referee: Abstract: No construction or description of the promised definite model is supplied, nor is there any verification that the model incorporates structures built from the reals or assigns fixed truth values to core statements (e.g., measurability of projective sets). This omission is load-bearing for the claim that independence phenomena are eliminated.

Authors: The manuscript provides a high-level description of the model but lacks the detailed construction. We will revise to supply a concrete construction of the model and verification that it includes all structures built from the reals and assigns definite truth values to statements such as the measurability of projective sets. revision: yes
Referee: Abstract: The assertion that the model 'delivers a definite truth-value... to any core mathematical assertion' is unsupported by any argument showing how the model differs from ZFC models or decides specific independent statements. Without this, the proposal reduces to an unverified existence claim.

Authors: We will add arguments in the revision showing how the model decides specific independent statements, such as those concerning projective sets, and how it differs from standard ZFC models in providing definite truth values. revision: yes

Circularity Check

1 steps flagged

Model defined by fiat to incorporate all core mathematics and eliminate independence

specific steps

self definitional [Abstract]
"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."

The model is introduced as one that, by definition, incorporates essentially all core mathematics and assigns definite truth values to all core assertions. The claim that such a model exists and resolves independence is therefore true by the stipulated definition of the model, without a separate construction or verification step that could fail.

full rationale

The paper's central claim is the existence of a definite model that (i) incorporates essentially all core mathematics built from the reals and (ii) assigns a fixed truth value to every core assertion, thereby removing independence phenomena. The abstract and skeptic load-bearing attack both locate the justification in the model's construction. However, the provided description defines the model precisely as one that satisfies these properties, so the desired outcome holds by the definition of the model rather than by an independent, externally verifiable construction. This matches the self-definitional pattern. No equations or self-citations are quoted in the given text, but the definitional move is load-bearing for the entire proposal. The score is set at 6 because the reduction is explicit in the abstract yet the paper may contain further details in the full manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit list of axioms, free parameters, or new entities; the proposal itself is the main addition.

pith-pipeline@v0.9.0 · 5384 in / 969 out tokens · 23658 ms · 2026-05-09T15:35:48.729812+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references

[1]

Antos, S

C. Antos, S. Friedman, R. Honzik and C. Ternullo, Multiverse Conceptions in Set Theory Synthese , 192 (8) 2015, 2463-2488

2015
[2]

Admissible sets and structures

Jon Barwise. Admissible sets and structures. An approach to definability theory. Springer, 1975

1975
[3]

Gandy and Yiannis Moschovakis, The Next Admissible Set, J

Jon Barwise, R. Gandy and Yiannis Moschovakis, The Next Admissible Set, J. Symbolic Logic, 1971

1971
[4]

69, 1963

Paul Cohen, A Minimal Model for Set Theory, Bulletin American Math Society , vol. 69, 1963

1963
[5]

Journal of Logics and their Applications , 2016,

Sy-David Friedman, Evidence for Set-Theoretic Truth and the Hyperuniverse Programme. Journal of Logics and their Applications , 2016,

2016
[6]

Symbolic Logic , 51 1986, 190-200

Christpher Freiling, ``Axioms of Symmetry: Throwing Darts at the Real Number Line", J. Symbolic Logic , 51 1986, 190-200

1986
[7]

Springer-Verlag, 1984

Keith Devlin, Constructibility . Springer-Verlag, 1984

1984
[8]

Dynamical Bias in the Coin Toss, Persi Diaconis, Susan Holmes and Richard Montgomery, Siam Review, 49 , 2007

2007
[9]

Co., 1956

Arend Heyting, Intuitionism, an Introduction , North-Holland Publ. Co., 1956

1956
[10]

Peter Hinman and Yiannis Moschovakis, Computablility over the Continuum, in Logic Colloquium '69, Studies in Logic and Foundations of Mathematics , 1971

1971
[11]

Thomas Jech, Set Theory , 3rd edition, Springer, 2002

2002
[12]

Akiri Kanamori, The Higher Infinite , Springer, 2005

2005
[13]

Springer, 1971

Saunders MacLane, Categories for the Working Mathematician . Springer, 1971

1971
[14]

Saunders MacLane and Ieke Moerdijk, Sheaves in Geometry and Logic , Springer 2015

2015
[15]

David Mumford, ``The Dawning of the Age of Stochasticity", in Mathematics: Frontiers and Perspectives 2000 , American Mathematical Society, 2001

2000
[16]

David Mumford, Chapter 13, Numbers and the World, Essays on Math and Beyond , American Mathematical Society, 2023

2023
[17]

AMS , 1969

Yiannis Moschovakis, Abstract First Order Definability, parts I,II, Trans. AMS , 1969

1969
[18]

Hilary Putnam, A Note on Constructible sets of integers, Notre Dame Journal of Formal Logic , 4 , 1963

1963
[19]

J. C. Shepherdson, Inner Models of Set Theory, I, II and III, J. Symbolic Logic , 1951-1953

1951
[20]

Stephen Simpson, Subsystems of Second Order Arithmetic , 2nd ed., Cambridge University Press, 2009

2009
[21]

Solovay, A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable, Annals of Mathematics , Vol

Robert M. Solovay, A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable, Annals of Mathematics , Vol. 92, No. 1 (Jul., 1970), pp. 1-56

1970
[22]

AMS , 1908

Oswald Veblen, Continuous Increasing Functions of Finite and Transfinite Ordinals, Trans. AMS , 1908

1908
[23]

Peter Winkler, Mathematical Puzzles , A K Peters/CRC Press, 2024

2024
[24]

Hugh Woodin, ``What a Set is: The V-view", to appear

W. Hugh Woodin, ``What a Set is: The V-view", to appear