Anand, Bhupinder Singh - 2018
Goodstein's argument is, essentially, that the hereditary representation, , of any given natural number in the natural number base , can be mirrored in Cantor Arithmetic, and used to well-define a finite, decreasing, sequence of transfinite ordinals, each of which is not smaller than the ordinal...