The Fundamental Theorem of Algebra and the first-order theory of the complex field Is it known whether the Fundamental Theorem of Algebra is a theorem or non-theorem of the first-order theory of the complex field (i.e. $\mathbb{C}$ together with $+,\times,0,1$)?
Every proof I've seen uses some topological properties of the plane, but I was wondering if anyone had answered the question of their necessity from this viewpoint.
EDIT: I see now that the way I have worded this question makes it either unanswerable, or trivial (after all, the FTA is a true theorem of the complex field, hence, in the theory). What I think I was originally curious about is the following, motivated by the question of whether there exists a purely algebraic proof of the FTA, can each sentence in the following schema, for each $n$,
$$\forall x_0\forall x_1\cdots\forall x_n\exists z (x_nz^n+\cdots+x_1z+x_0=0)$$
be given first-order proofs in some reasonable extension of the first-order axiomatization of fields, which would somehow characterize $\mathbb{C}$, however, there are obvious obstacles to the second part of this statement (via Loewenheim-Skolem Theorems). I will have to rethink my curiosity. Thanks.
 A: First off, the Fundamental Theorem of Algebra isn't even a statement in the stated language. However, you can express it as a schema -- roughly speaking, as the collection of statements "every degree-$n$ polynomial has a root" for each positive integer $n$.
So, assuming you mean this theorem schema, the precise question you asked can be answered trivially: "yes", by the very definition of what "theory of the complex field" means -- it is the first-order theory whose theorems are those statements true about the complex field.
The question I think you mean to ask might look something like writing down an axiomatic presentation of some theory, and asking if you could prove the fundamental theorem (schema) of algebra for that theory.
As it turns out, I expect the most common axiomatization I would see for a theory like that would be:


*

*The field axioms

*One axiom for each arithmetic fact about complex numbers

*The fundamental theorem schema of algebra


The fundamental theorem schema of algebra is a theorem of this theory, but the proof is trivial.
A: When we write down the axioms for an algebraically closed field of characteristic $0$, we ordinarily include a specific infinite list $(A_n)$ of axioms, one for each $n \ge 1$. For any positive integer $n$, axiom $A_n$ asserts that every polynomial of degree exactly $n$ has a root.  It is not difficult to write down, for any $n$, a sentence $A_n$ that does the job.
So every instance of the Fundamental Theorem of Algebra is a theorem of the first-order theory of algebraically closed fields of characteristic $0$, for the simple reason that it is one of the usual axioms of the theory.
The usual formulation of the Fundamental Theorem is not a sentence in our first-order language.  We cannot in our language quantify over degree.
