Gentzen's remark has some bite in the case the standard first-order arithmetic PA. But he apparently does not understand the generality of the incompleteness theorems. As soon as Gentzen would define what exactly he means by "arithmetic means",