{"id":"arxiv/2605.00266","url":"https://arxiv.org/abs/2605.00266","tags":["math.LO"],"score":0,"title":"Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen","domain":"math.LO","source":"arxiv","authors":["Harald Grobner"],"reviews":0,"subject":"math.LO","summary":"In much discussed work Artemov has recently argued that, for $\\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector-proofs, despite the unprovability of the corresponding uniform consistency sentence $\\mathrm{Con}(\\mathrm{PA})$. In this note, we show that this phenomenon extends to all sufficiently strong, uniformly reflexive arithmetizable theories, including $\\mathrm{ZF}$ and many of their extensions: For such theories $T$, there exists a primitive recursive selector which, given a derivation code $d$, extracts a finite fragment $T_d\\subseteq T$ containing…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-30","reactions":{}}