%0 Journal Article %A G. Gentzen %T Die Widerspruchsfreiheit der reinen Zahlentheorie %J Mathematische Annalen %D 1936 %P 493-565 %V 112 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAN_1936__112_159839/ %F MAN_1936__112_159839