Goodstein RL. Logic-free formalisations of recursive arithmetic. Math. Scand. [Internet]. 1954 Dec. 1 [cited 2024 May 5];2:246-60. Available from: https://www.mscand.dk/article/view/10412