Permutation in recursive arithmetic - Goodstein, R. L. (MATHEMATICA SCANDINAVICA, 1953)