>>269
>なぜなら体が決定不能なので、それに0とpを同一視する公理を加えたものも決定不能なる
よく分からないのだが、この理屈だと
「体が決定不能なので、それに代数的閉の公理を加えたものも決定不能」
といえてしまわないのだろうか？