代数学の基本定理に関する逆数学の話でもしとくか

代数学の基本定理は逆数学の一番弱い体系RCA0でも定理
RCA0では中間値の定理が成り立つ

一方、ジョルダンの閉曲線定理は
逆数学で二番目に弱い体系WKL0でやっと成り立つ
つまり、代数学の基本定理より強い命題