計算可能レベルの階層と理論の証明論的強さの研究くらい認めてもいいだろう。