Logic-free formalisations of recursive arithmetic - Goodstein, R. L. (Mathematica Scandinavica, 1954)