Goodstein, R. L. “Logic-Free Formalisations of Recursive Arithmetic”. Mathematica Scandinavica 2 (December 1, 1954): 246–260. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/2910.