Goodstein, R. L. “Logic-Free Formalisations of Recursive Arithmetic”. MATHEMATICA SCANDINAVICA 2 (December 1, 1954): 246–260. Accessed May 5, 2024. https://www.mscand.dk/article/view/10412.