Hey now. Ordinary induction only implies that you can write an arbitrarily long novel of finite length. You need transfinite induction to get to infinite lengths.
Hey now. Ordinary induction only implies that you can write an arbitrarily long novel of finite length. You need transfinite induction to get to infinite lengths.