The 1936 proof's argument doesn't claim to prove consistency *from within* PA but uses finitary meth...
This proposition has not been edited since the history system was added.