ゲンツェンとは、数学的帰納法の無矛盾性の証明を超限
帰納法を用いて証明した奴(guy)である。

・・・・何が悪いんだろうか?

そもそも、命題論理の無矛盾性だって、数学的帰納法で証明するの
だから、数学的帰納法は、それよりも強い体系を使うのは当然のように
感じるのですが、問題でもあるでしょうか?