Goodstein RL. Models of Propositional Calculi in Recursive Arithmetic. Math. Scand. 1958;6:293-296. doi:10.7146/math.scand.a-10554