Goodstein RL. On non-constructive theorems of analysis and the decision problem. Math. Scand. [Internet]. 1955 Dec. 1 [cited 2026 Aug. 25];3:261-3. Available from: https://journals.msp.org/mscand/article/view/2876