Inductive Grounded Arithmetic: Goodstein, the Hydra, and 0

arXiv:2610.34548 · math.LO, cs.LO, cs.PL · Submitted 2026-10-25 · Read on arXiv