抄録
Reverse Mathematics is an ongoing research program on foundations of mathematics, whose aim is to find out what kinds of logical or set-theoretical hypotheses are necessary and sufficient to prove a theorem of ordinary mathematics. In this paper, we show that the fundamental theorem of algebra holds within RCA0, a weakest base theory of this program, by way of a combination of a nonstandard method and a conservation result on weak König's lemma.
