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