Goodstein, R. L. “Logic-Free Formalisations of Recursive Arithmetic”. MATHEMATICA SCANDINAVICA, vol. 2, Dec. 1954, pp. 246-60, doi:10.7146/math.scand.a-10412.