%0 Journal Article %A Tait, W. W. %D 2005 %I Jstor %J Bulletin of Symbolic Logic %N 2 %P 225-238 %T Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation %V 11