Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen

Harald Grobner

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 unprovabil…