Goodstein, R. L. (1958) “Models of Propositional Calculi in Recursive Arithmetic”., MATHEMATICA SCANDINAVICA, 6, pp. 293–296. doi: 10.7146/math.scand.a-10554.