Goodstein, R.L. 1954. Logic-free formalisations of recursive arithmetic. MATHEMATICA SCANDINAVICA. 2, (Dec. 1954), 246–260. DOI:https://doi.org/10.7146/math.scand.a-10412.