Abstract
In the context of Elementary Arithmetic (EA) we know that already an extremely weak arithmetical theory like R proves every true Σ1-sentence. Thus, it would seem that adding the true Σ1-sentences to the axiom set of a given theory adds nothing. However, Elementary Arithmetic cannot prove this ‘obvious fact’. We
... read more