Goodstein, R. L. “On Non-Constructive Theorems of Analysis and the Decision Problem”. MATHEMATICA SCANDINAVICA, vol. 3, Dec. 1955, pp. 261-3, doi:10.7146/math.scand.a-10444.