On non-constructive theorems of analysis and the decision problem R. L. GOODSTEIN — 1955 Mathematica Scandinavica