>>301 訂正
集合公理系→公理系
かな
逆数学は、二階算術を使うらしい