@sandehalynch No, it’s not.
The whole theorem is about showing that provability of theorems with infinities will likely have paradoxes that mean it won’t be practical.
Consider that hundreds of millions of monkeys are exactly as close to infinity than one monkey.