Maximal ideal あるいは Prime ideal の全体を考えれば、３階になる。主イデ
アル環に制限しなければ　Zariski topology を使えないことになる。２階算術に
制限するのは無理がある。逆数学はまあそのへんでよいということなのかも
知れない。