Consistency of PA and \(\varepsilon _0\) Induction
摘要
In the 1930s, Gentzen presented several versions of a proof of the consistency of PA from a weaker system, primitive recursive arithmetic (PRA), augmented with the additional principle of transfinite induction up to the ordinal \(\varepsilon _0\)