Goodstein’s theorem is an example that sometimes a finite result requires the existence of infinity in its proof.
— Me@2021-05-09 11:06:34 PM
Goodstein’s theorem itself assumes that there is an infinite number of natural numbers, so it is not really a finite result.
— Me@2017-02-20 06:16:28 PM
2021.05.09 Sunday (c) All rights reserved by ACHK