>>151
＞代数学の基本定理ですべての代数方程式に解があることが分かっているのに、
＞わざわざそれが代数的な解法を持つかどうか考えるのも二次的だな。

逆数学の話なら、「代数的な解法を持つかどうか考える」
という理解が間違ってる。

代数的な解の存在が、いかなる前提によって証明されるのか
を考えている。