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