Permutation in recursive arithmetic - Goodstein, R. L. (Mathematica Scandinavica, 1953)