そりゃそうだな。
ただし計算量クラスと述語論理クラスとの対応とか
計算量クラスと限定算術の理論の対応なんかが最近では知られているから。