R. L. Goodstein, “On non-constructive theorems of analysis and the decision problem”, Math. Scand., vol. 3, pp. 261–263, Dec. 1955.