Gentzen’s theorem assumes a much stronger claim to prove this weaker one.
No. The minimal axioms needs to prove Gentzen’s theorem are not stronger than PA. There are claims in PA that cannot be proven in the minimal context for Gentzen’s theorem.
No. The minimal axioms needs to prove Gentzen’s theorem are not stronger than PA. There are claims in PA that cannot be proven in the minimal context for Gentzen’s theorem.