Ordinals and Cardinals

Our focus so far has been on arithmetic, with only brief mentions of infinities beyond the countable. The next two topics require a deeper look at infinity. The first is Gentzen’s proof that induction up to the large countable ordinal \(\varepsilon _0\) implies the consistency of PA and is therefore independent of PA.