>>詳しい方へ
今のPAとかZFCとかよりも
現代の数学に合致するような
体系が逆数学的な研究を通して
得られる可能性ってあるのでしょうか？

また、体系の研究で計算量のクラスや機械は現時点で有力ですか？