Goodstein, R. L. 1954. “Logic-Free Formalisations of Recursive Arithmetic”. MATHEMATICA SCANDINAVICA 2 (December):246-60. https://doi.org/10.7146/math.scand.a-10412.