Full Idea
Gentzen proved the consistency of arithmetic from assumptions which transcend arithmetic.
Gist of Idea
Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic
Source
report of Gerhard Gentzen (works [1938]) by Alan Musgrave - Logicism Revisited §5
Book Reference
-: 'British Soc for the Philosophy of Science' [-], p.126
A Reaction
This does not contradict Gödel's famous result, but reinforces it. The interesting question is what assumptions Gentzen felt he had to make.