{"id":"arxiv/2607.25533","url":"https://arxiv.org/abs/2607.25533","tags":["math.LO","cs.LO","cs.PL"],"score":0,"title":"Computable Quantification in Reflective Grounded Arithmetic","domain":"math.LO","source":"arxiv","authors":["Bryan Ford"],"reviews":0,"subject":"math.LO","summary":"Informal statements of Gödel's incompleteness theorems often run: \"any consistent formal system with arithmetic has true but unprovable statements.\" That reading assumes a classical notion of truth, under which a universal statement is true as soon as each of its numeral instances is. This paper presents reflective grounded arithmetic (RGA), in which truth is grounded in computation and universal quantification is grounded reflectively: a universal statement is true when the system's own proof search certifies its schematic instance, and false when the system refutes one numeral instance.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}