{"id":"f6c36ec6-bf96-4a4b-962e-532a7e1f20fb","arxiv_id":"2509.07033","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"Probability is defined as E(A)/E(A or not A), where E is a hypernatural count of atomic possibilities, making uniformity over any infinite space consistent with the sum rule.","lead":"This paper proposes axioms that define probability as a ratio of evidence counts, using hypernatural numbers so a uniform distribution over infinitely many possibilities can sum to one. The authors say this solves the long-standing problem of how to assign an objective prior probability from first principles.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Hypernatural counting measure for continuous spaces rests on unproved (and in ZF, false) countability of the continuum; the paper's own continuous U-spaces are deferred to future work.","rationale":"The reader's weakest_assumption identifies the same section (10.1.3) and the same missing proof, so I agree. This is the most load-bearing point: the paper's finite/discrete core (Axioms 1–3, Theorem 4) is coherent and transparent, and for finite 𝕌 it reproduces ordinary Laplace uniformity. But the advertised universality depends on extending counting to continuous possibility spaces, and the only bridge is the assertion that the continuum is countable. That assertion is not merely unproved; it is false in standard ZF, and no alternative foundation is supplied. Moreover, the paper's own text defers the derivation of U-spaces for the motivating continuous examples, so even under a nonstandard reading the general solution is promissory. These two facts together—an unsupported and apparently false set-theoretic premise, plus explicit deferral of the key continuous constructions—support the REJECT verdict. I am not claiming that all nonstandard-probability approaches are impossible; rather, this paper does not provide the missing foundational step needed to make its central claim true.","tokens_in":14305,"tokens_out":8914,"duration_ms":106545,"concrete_test":"Analytical test: Formalize the §10.5.2 angle example in a declared axiomatic foundation (e.g., ZF without Choice). Using only the paper's operations—sets, negation, disjunction, conjunction—construct the claimed partition of the circle into ℵ equal tranches and prove there is a bijection between these tranches and an initial segment {1,…,ℵ} of the hypernaturals. In the same framework, run Cantor's diagonal argument on the set of infinite binary sequences; if the diagonal construction yields a sequence not in any enumeration, then no such bijection exists and the §10.1.3 premise fails. The authors should either exhibit the bijection or identify the precise step of the diagonal proof that their axioms invalidate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 10.1.3 supplies the load-bearing premise that 'the continuum can be understood as discrete and countable,' and attributes the standard uncountability of ℝ to the Axiom of Choice, which the paper rejects. The central construction requires every adequately defined proposition—including continuous ones—to be a set of atomic possibilities with hypernatural cardinality, so that P(A)=E(A)/E(A∨¬A) and P(u_i)=1/ℵ. If the possible values of a continuous parameter form an uncountable set, no such hypernatural cardinality exists and Theorem 4 does not apply. But countability of ℝ is not a consequence of dropping Choice: Cantor's diagonal theorem is provable in ZF. The paper specifies no alternative set theory and gives no proof that continuous possibility spaces are countable or hyperfinite. This is not merely philosophical: the continuous examples that would demonstrate generality are explicitly postponed—§10.2 ('will show in future work'), §10.3 ('In future work we will show how space can instead be deduced'), §10.5.1 ('We intend in future work to derive the possibilities 𝕌'). Thus the abstract's claim of a general and relatively simple solution is not delivered; the axioms as stated apply to discrete/hyperfinite sets only.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes axioms for an objective measure of evidence, E(A), defined as the hypernatural cardinality of the set of atomic possibilities making A true. Uniformity is asserted as the basic principle: each atomic possibility has measure 1. Probability is then defined as the ratio P(A)=E(A)/E(A∨¬A), and conditional probability as E(A∧B)/E(B). The authors argue that all measures must ultimately be based on uniformity, that uniformity over infinite sets is made consistent by using hypernatural numbers, and that the continuum can be understood as discrete and countable, so that the axioms provide a general solution to the 'measurement problem' of assigning probabilities de novo. Theorems 1–6 derive additivity, sum rule, odds, probability, and conditional probability from the axioms; an optional axiom assigns an infinite hypernatural cardinality ℵ to the universal space U.","tokens_in":14777,"tokens_out":3201,"duration_ms":34152,"significance":"If the central claims were established, the paper would offer a striking resolution of the objective Bayesian measurement problem: a single counting principle would determine probabilities for arbitrary propositions, including continuous parameter spaces, via infinitesimal atomic probabilities. The paper has some genuine strengths: it clearly identifies the gap between calculation axioms and measurement axioms, it explicitly recognizes that standard measure theory assigns probability zero to possible atomic events, and it is candid about where the derivation is incomplete. The axiomatic system itself is simple and internally consistent for discrete/hyperfinite possibility spaces, and the use of nonstandard counting measures is an interesting proposal. However, the claimed generality is not delivered. The paper's treatment of continuous spaces rests on a nonstandard set-theoretic premise—countability of the continuum—that is asserted rather than proved and that is false in the standard foundations the paper otherwise uses. Moreover, the key derivation of the U-space for continuous parameters is explicitly deferred to future work. Thus the contribution, as it stands, is a philosophic","major_comments":[{"comment":"The load-bearing premise that 'the continuum can be understood as discrete and countable' is unsupported and, in standard ZF set theory, false. Cantor's diagonal theorem proves uncountability of ℝ without the Axiom of Choice; rejecting Choice does not make ℝ countable. The paper rejects uncountable sets and the Axiom of Choice for infinite sets, but it does not specify an alternative set theory or provide a proof that continuous possibility spaces are countable or hyperfinite. Yet Theorem 4, P(A)=E(A)/E(A∨¬A), applies only if every proposition is a set of atomic elements with hypernatural cardinality. If the possible values of a continuous parameter form an uncountable set, no such cardinality exists and the axioms do not apply. This is a central, load-bearing gap rather than a peripheral philosophical aside.","section":"§10.1.3 and Theorem 4"},{"comment":"The paper's claim to provide a general solution to the measurement problem is not supported by the actual content. The crucial step—deriving the U-space, i.e., the correct atomic possibility space, from an ontological model for continuous parameters—is deferred in all continuous examples: §10.2 says 'We will show in future work that there is a necessary symmetry that determines the U-space,' §10.3 says 'In future work we will show how space can instead be deduced,' and §10.5.1 says 'We intend in future work to derive the possibilities 𝕌.' Without these derivations, the axioms apply only to already-specified discrete or hyperfinite sets, which is a substantial restriction. The abstract's claim of a general and relatively simple solution is therefore premature.","section":"§10.2, §10.3, §10.5.1"},{"comment":"Uniformity is fixed by construction rather than derived. Axiom 1 assigns measure 1 to every atomic element; Axiom 3 identifies evidence with that measure; Theorem 4 then defines probability as |A|/|U|. The argument in §6 that 'all numbers are based on uniformity' is a philosophical appeal to the nature of counting, not a mathematical derivation, and it does not establish that any measure of evidence must be uniformly distributed over the chosen atomic elements. The paper's own acknowledgment in §8.1 that the absolute scale is 'only a convenient assignment' further undercuts the claim that uniformity is 'inevitable if all propositions are adequately defined.' The axioms are internally consistent, but the central claim of inevitability is not substantiated.","section":"§6, Axioms 1–3, Theorem 4"},{"comment":"The analogy between U-space and Euclidean distance, and the assertion that 'for any model O, there must be a U-space analogous to a Euclidean space,' is an unproved conjecture. The example of three angles in a triangle is used to motivate the existence of a unique U-space, but no formal definition of U-space is given that would allow one to check existence, uniqueness, or the claimed rotational invariance. This is not a minor omission: the paper's program reduces the measurement problem to 'deducing possibilities 𝕌 from model O,' and the paper provides no general method or theorem for doing so.","section":"§10.2"}],"minor_comments":[{"comment":"The notation is confusing: 'ℵ=2ℵ0, where ℵ0=|ℕ|' is asserted, but then 'ℵ is not a transfinite number as defined by Cantor' is stated without explanation. If ℵ is a hypernatural nonstandard integer, its cardinality in the model needs clarification.","section":"§8.4, footnote 2"},{"comment":"The example '{X,X,X}' is not a set with three elements; set notation suppresses duplicates. This undermines the intended point about counting three objects.","section":"§6, Eq. (6)"},{"comment":"Theorems 1–6 are direct consequences of the definitions and are more naturally called propositions or corollaries. The label 'Theorem' overstates the mathematical content.","section":"§9"},{"comment":"The derivation of ¬(A∨¬A)=A∧¬A relies on classical logic; this is fine, but the text presents it as a general logical identity without stating the underlying classical framework.","section":"§4"},{"comment":"The phrase 'countably infinite continuum' is an oxymoron in standard set theory; the paper should state explicitly what alternative set theory is assumed.","section":"§10.1.3"}],"recommendation":"reject","confidential_remarks":"The paper's central mathematical claim—that the axioms solve the general measurement problem—depends on a nonstandard set-theoretic premise (countability of the continuum) that is asserted but not proved, and the key derivations for continuous cases are deferred. Even as a philosophical proposal, the uniformity argument is largely circular because uniformity is built into Axiom 1. The axioms may be worth discussing as a formal exercise for discrete/hyperfinite spaces, but the presented manuscript does not meet the standard for a research paper in mathematical probability. If the authors can supply a coherent alternative set theory and complete the deferred U-space derivations, a resubmission could be reconsidered; in the current form the paper is more suitable for a philosophy journal with a different evaluation standard."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou should know two things about this paper. First, it is not a crank attempt. The authors have built a small, transparent axiom system and they know the Bayesian literature reasonably well. Second, the headline claim—a general, simple solution to the measurement problem—does not survive contact with Section 10.1.3 and the deferred sections 10.2, 10.3, and 10.5.1. If you are going to cite it in the objective-prior debate, read those sections first.\n\nWhat is genuinely new is the specific package: evidence as a hypernatural cardinality, probability as a ratio E(A)/E(A∨¬A), and the U-space/S-space distinction. I do not know another paper that puts all three together. The theorems are trivial, but the paper is upfront about that; the axioms are doing the work, and the prose is unusually clear. The authors also deserve credit for honestly flagging what they have not done.\n\nThe soft spots are serious. The load-bearing premise in Section 10.1.3 is that the continuum is discrete and countable, and that the uncountability of ℝ rests on the Axiom of Choice. That is simply false: Cantor's diagonal theorem is provable in ZF. They do not specify an alternative set theory, prove its consistency, or show it can support their hypernatural machinery. Without a countable continuum, Theorem 4 does not apply to continuous U-spaces, and those are exactly the cases that would make the framework general. The paper's own examples of continuous derivation are explicitly future work: 10.2, 10.3, and 10.5.1. So the abstract overstates what the axioms deliver.\n\nI also agree that the uniformity conclusion is somewhat built in. Axiom 1 assigns measure 1 to each atom, Axiom 3 calls that evidence, and Theorem 4 takes a ratio. That is not formally circular, but Section 6's argument that all measures must be based on uniformity is a definitional choice rather than a derivation.\n\nWho is this for? Philosophers of probability and Bayesians interested in the measurement problem will find it a useful sparring partner—especially the discussion of Jeffreys priors and the U-space idea. It deserves a serious referee because it is a real attempt at a deep problem, with real flaws worth pinning down. But a referee should demand either a proof that continuous U-spaces can be given hypernatural cardinalities or an explicit nonstandard foundation that handles the diagonal argument.\n\nRecommendation: send to peer review, not desk reject. Expect heavy revision or rejection, but the ideas deserve careful scrutiny.","headline":"A clearly written, philosophically bold axiom system for objective evidence, but the headline promise of a general measurement solution falls apart on the countability-of-the-continuum claim and the deferred continuous cases.","tokens_in":15118,"tokens_out":3101,"would_cite":false,"duration_ms":39197,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60A05","03H05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper argues that probability is a ratio of counts of possibilities, and that counting infinitesimal units of evidence makes the equal-probability principle exact even when the possibilities are infinite.","keywords":["probability","measure of evidence","principle of indifference","uniformity","hypernatural numbers","infinitesimals","nonstandard analysis","measurement problem"],"falsifier":"Work the paper's announced three-particle example: derive the possibility space for a triangle using uniformity over the three internal angles, then again using the three central angles. If both derivations satisfy the axioms and produce different probabilities for the same event, the claim that a model determines a unique possibility space fails. The paper defers this derivation to future work, so the calculation is open and concrete.","tokens_in":14209,"feed_emoji":"♾️","tokens_out":22384,"duration_ms":204489,"temperature":0.7,"pith_summary":"This paper tackles the 'measurement problem' of probability: how to assign a uniquely correct value to P(A) from the definition of the proposition A alone, rather than merely calculating some probabilities from others. Its thesis is that uniformity — the principle that equal possibilities get equal probability — is not one candidate rule but a necessary feature of any numerical measure, and that its apparent failure over infinite sets is an artifact of requiring probabilities to be real numbers. The paper introduces a primitive evidence measure E(A) that counts the atomic possibilities making A true, allows the count to be an infinite hypernatural number, and defines probability as the ratio E(A)/E(A∨¬A). Every atomic possibility then receives the infinitesimal probability 1/ℵ, and the infinite sum of these probabilities is exactly one, restoring uniformity where the standard probability axioms forbid it. If the axioms are right, every adequately defined proposition has a definite probability determined by reason alone, and the familiar rules of probability follow as theorems rather than assumptions.","feed_headline":"Infinitesimal counts revive uniform probabilities over infinite sets","feed_subtitle":"The principle of indifference becomes exact over infinite sets: probability is a ratio of counts.","key_machinery":"The load-bearing object is the ratio identity P(A) ≡ E(A)/E(A∨¬A) (Theorem 4), where E is a hypernatural counting measure — a number that may be infinite, defined by Axiom 1 as the cardinality of a set, so each atomic possibility contributes exactly one unit of evidence. Axiom 4 fixes the size of the exhaustive possibility space 𝕌 at ℵ, making each atomic probability 1/ℵ, an infinitesimal whose infinite sum equals one; this is what reconciles uniformity with infinite sets. Hypernatural and hyperrational numbers from nonstandard analysis supply the arithmetic: they obey the usual rules of calculation while allowing infinite sums of infinitesimals to equal one, and the optional Axiom 4 only se","core_discovery":"The central claim is that all measures must ultimately be counting measures. Axiom 1 defines each hypernatural number as the cardinality of a set, so every element counts equally. Axiom 2 identifies a well-defined proposition with a disjunction of atomic possibilities. Axiom 3 sets evidence E(A) as the number of possibilities in A. Axiom 4 gives the possibility space 𝕌 a countably infinite size ℵ. Theorem 4 defines probability as P(A) = E(A)/E(A∨¬A). Each atomic possibility carries probability 1/ℵ, so the sum over all possibilities is exactly one, reconciling uniformity with infinity. From these it derives the usual rules of probability, leaving only the deduction of the possibility space.","pith_inferences":["A consequence the paper leaves implicit: adopting these axioms moves the hard work of probability into ontology — a model and a deduction of the possibility space must be specified before any number is assigned, and the paper's three-particle example shows that deduction is not yet a general method.","If the rejection of the Axiom of Choice for infinite sets is taken seriously, it reaches beyond this paper: standard results of analysis and measure theory that depend on uncountable cardinalities or non-measurable sets would need re-derivation inside the countable framework, which the axioms do not attempt.","The framework yields a concrete testable consequence: the earlier result that an unknown positive ratio has probability 1/2 of exceeding 1 should emerge as a theorem once the possibility space for ratios is derived from circular symmetry; deriving that space explicitly would confirm or refute the axioms."],"forward_implications":["Every adequately defined proposition receives a definite, uniquely correct probability from its definition alone, with no empirical input beyond the chosen model of reality.","The K-axioms and C-axioms become theorems of the counting framework, so all standard probability calculations and Bayes's theorem remain valid while resting on simpler premises.","Continuous parameters become countable: a continuous range is partitioned into ℵ atomic units, so uniform probability over an interval is exact and logically possible events receive probability 1/ℵ rather than zero.","The standard non-informative prior over a scale parameter, P(r) = dr/r, is claimed to follow from uniformity over a correctly deduced possibility space rather than from invariance conventions, with the derivation promised in future work."],"supporting_citations":[{"why":"the objectivist program and its derivation of probability rules, which the paper rebuilds from counting axioms","marker":"[3]"},{"why":"states the objectivist position and the scale-invariant prior the paper aims to recover from uniformity","marker":"[7]"},{"why":"defines the C-axioms, which with the K-axioms solve only the calculation problem","marker":"[8]"},{"why":"supplies the classical definition of probability and the principle of indifference that the axioms revive","marker":"[9]"},{"why":"provides the K-axioms and the sample-space formalism that the paper replaces with U-space and counting measure","marker":"[10]"},{"why":"frames the standard objection that uniformity fails over infinite sets, which the axioms are designed to answer","marker":"[11]"},{"why":"introduces nonstandard analysis, the source of the hyperreal and hypernatural numbers used for infinitesimal probabilities","marker":"[19]"},{"why":"furnishes the hyperrational arithmetic in which Axioms 1–4 are formulated","marker":"[20]"},{"why":"supports the premise that all numbers, including the continuum, arise from countable recursive construction","marker":"[21]"},{"why":"the authors' earlier result on ratios, which the axioms are claimed to explain in Section 10.5.2","marker":"[26]"}],"fun_headline_variants":["Uniform probabilities rescued by infinite counting","Probability as ratio of infinite counts","New axioms: evidence is a count, even over infinity","Infinitesimals fix uniform prior over infinite sets","The measure of evidence is a hyperreal count"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The load-bearing premise is that the continuum can be understood as a countable set of discrete atomic possibilities, which requires rejecting the Axiom of Choice for infinite sets; if the real line is genuinely uncountable, the counting measure cannot apply to continuous propositions and the proposed solution covers only finite or finitely described spaces.","fun_headline_variants_meta":{"raw":{"variants":["Uniform probabilities rescued by infinite counting","Probability as ratio of infinite counts","New axioms: evidence is a count, even over infinity","Infinitesimals fix uniform prior over infinite sets","The measure of evidence is a hyperreal count"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000173,"raw_usage":{"total_tokens":1121,"prompt_tokens":757,"completion_tokens":364,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":501,"completion_tokens_details":{"reasoning_tokens":310}},"tokens_in":501,"tokens_out":364,"duration_ms":4711,"temperature":1.0,"reasoning_tokens":310,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T23:51:45.283006+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Work the paper's announced three-particle example: derive the possibility space for a triangle using uniformity over the three internal angles, then again using the three central angles. If both derivations satisfy the axioms and produce different probabilities for the same event, the claim that a model determines a unique possibility space fails. The paper defers this derivation to future work, so the calculation is open and concrete.","supporting_citations":[{"cited_title":"Cambridge University Press, 2003","cited_arxiv_id":null,"evidence_quote":"the objectivist program and its derivation of probability rules, which the paper rebuilds from counting axioms"},{"cited_title":"Oxford University Press, Oxford, England, 1961","cited_arxiv_id":null,"evidence_quote":"states the objectivist position and the scale-invariant prior the paper aims to recover from uniformity"},{"cited_title":"Cox.The Algebra of Probable Inference","cited_arxiv_id":null,"evidence_quote":"defines the C-axioms, which with the K-axioms solve only the calculation problem"},{"cited_title":"Dover Publications, New York, 1951 (original French, 1814","cited_arxiv_id":null,"evidence_quote":"supplies the classical definition of probability and the principle of indifference that the axioms revive"},{"cited_title":"Chelsea Publishing Company, New York, USA, 1950","cited_arxiv_id":null,"evidence_quote":"provides the K-axioms and the sample-space formalism that the paper replaces with U-space and counting measure"},{"cited_title":"Theselectionofpriordistributionsbyformalrules.JournaloftheAmerican Statistical Association, 91(435):1343–1370, 1996","cited_arxiv_id":null,"evidence_quote":"frames the standard objection that uniformity fails over infinite sets, which the axioms are designed to answer"},{"cited_title":"North-Holland Publishing, Amsterdam, 1966","cited_arxiv_id":null,"evidence_quote":"introduces nonstandard analysis, the source of the hyperreal and hypernatural numbers used for infinitesimal probabilities"},{"cited_title":"Finite arithmetic axiomatization for the basis of hyperrational non- standard analysis.Axioms, 10(4):263, 2021","cited_arxiv_id":null,"evidence_quote":"furnishes the hyperrational arithmetic in which Axioms 1–4 are formulated"},{"cited_title":"Addison-Wesley, Reading, MA, USA, 1974","cited_arxiv_id":null,"evidence_quote":"supports the premise that all numbers, including the continuum, arise from countable recursive construction"},{"cited_title":"TheobjectiveBayesianprobabilitythatanunknownpositiverealvariable is greater than a known is 1/2.Philosophies, 6(24):1–24, 2021","cited_arxiv_id":null,"evidence_quote":"the authors' earlier result on ratios, which the axioms are claimed to explain in Section 10.5.2"}],"review_version":1}