Logic-free formalisations of recursive arithmetic - Goodstein, R. L. (MATHEMATICA SCANDINAVICA, 1954)