>逆数学は、二階算術を使うらしい

なるほど「逆数学」を検索してコピペしただけ
なのですね、