Either that, or they claim that certain numbers, such as 3^^^3, cannot be reached by any number of iterations of the successor function starting from 0. It’s disprovable, but without induction or cut it’s too long a proof for any computer in the universe to do in a finite human lifespan, or even the earth’s lifespan.
Either that, or they claim that certain numbers, such as 3^^^3, cannot be reached by any number of iterations of the successor function starting from 0. It’s disprovable, but without induction or cut it’s too long a proof for any computer in the universe to do in a finite human lifespan, or even the earth’s lifespan.