[guess]

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

[guess]

.

.

2021.05.09 Sunday (c) All rights reserved by ACHK