I am recently finding some confusion. Some texts say that Gentzen's Consistency Proof shows transfinite induction up to $\varepsilon_0$ holds, while other texts say that consistency can be shown up to the numbers less than $\varepsilon_0$, but not $\varepsilon_0$. Which one is correct?
Thanks.