Goodstein RL. Permutation in recursive arithmetic. Math. Scand. 1953;1:222-226. doi:10.7146/math.scand.a-10380