[LibWhacker]

What's the name of the theorem? I want to look it up.

I do understand that you're talking about any given natural number. Surely you understand that if there are theorems that require more steps (to prove) than any given natural number, then it follows that there are theorems that require an infinite number of steps. Of course, infinite and unbounded aren't the same in the case of convergence! But here you clearly have divergence.

Kindly just give me the name of the theorem you're quoting, please. I'd really like to take a look at it and can't find it on Google using the keywords and phrases I'd expect to find in any description or discussion of it. Thx.

[Virginia-American]

I don't know if it has a name; it's a consequence of there being an infinite number of theorems. I don't see how it follows that there are some that require an infinite proof.

Dr S: can you add anything?