A Note on the Decidability of the Necessity of Axioms

Merlin Carl

A typical kind of question in mathematical logic is that for the necessity of a certain axiom: Given a proof of some statement $\varphi$ in some axiomatic system $T$, one looks for minim…