Internal Reasoning and Consistency in Reflective Grounded Arithmetic

arXiv:2608.16140 · math.LO, cs.LO, cs.PL · Submitted 2026-08-17 · Read on arXiv