... to what extent the Gentzen proof can be accepted as securing classical number theory in the sense of that problem formulation is in the present state of affairs a matter of individual judgement.
... sa kung ano ang lawak ng Gentzen patunay ay maaaring tanggapin bilang securing klasiko bilang teorya sa ang kahulugan ng mga problema na pagbabalangkas ay sa kasalukuyan ang kalagayan ng isang indibidwal na mga bagay ng paghuhusga.