標数pの体の理論は決定不能
なぜなら体が決定不能なので、それに0とpを同一視する公理を加えたものも決定不能なる
だたし、実閉体のような決定可能な理論に標数を設定した場合は逐一確かめないとならない
実閉体に関しては標数をpとしても決定可能性を保てる
また、体に可換性の公理を加えても体が決定不能なのでやはり決定不能
つまり、課題2の解答はすべて決定不能