同感、むしろ代数的閉体なんて先に標数ｐに関しての完全性を証明してから
標数0を考えて通常の代数的閉体の決定可能性を示している。