On non-constructive theorems of analysis and the decision problem - Goodstein, R. L. (MATHEMATICA SCANDINAVICA, 1955)