Background
I am currently reading up on ordered fields and I think I found out a problem in the class notes. I'm reading a theorem whose corollary proves the existence of the real closure of a (formally) real field, I've got a couple of problems with this. The main problem is with the usage of Zorn's Lemma in the proof of the aforementioned theorem. The other one is with the statement of the theorem.
The Problem
The theorem states:
For a real field $K$ and $F$ a formally positive set of $K$ then $K$ admits an algebraic extension $L$ which is maximal with respect to the property "every order of $K$ which contains $F$ extends to an order of $L$".
My first doubt is: Can the statement of the theorem be changed to
Let $K$ be a real field and $F$ a positive set in $K$. Then for every order $P$ of $K$ which contains $F$, there exists $L$ a maximal field such that $L|K$ is an algebraic extension whose order extends $P$.
As a quick definition, a field is said to be maximal if its order cannot be extended to any proper algebraic extension.
Are these two statements equivalent? I feel they are since I'm still taking an arbitrary order. I think that the problem is with the maximality. If it's wrong, could you help me formulate an equivalent statement for the theorem?
Now, my problem with the proof is as follows:
$\bullet$ In the first part of the proof the author defines a family $\mathcal{F}$ as follows:
$$\mathcal{F}\colon=\{L: L|K \text{ is an alg. ext. and every order $P$ of $K$ s.t. $F\subseteq P$ extends to an order of $L$\}} $$
$\mathcal{F}$ is proven to be nonempty by showing $K\in \mathcal{F}$. The proof continues by taking a chain of fields (ordered by "$\subseteq$") inside $\mathcal{F}$ and the the union of all of these sets. This is the upper bound requested by Zorn's Lemma. Then there exists a maximal element because of Zorn's Lemma.
$\bullet$ My problem is as follows: The author states that by proving that the upper bound is inside $\mathcal{F}$, then the maximal element will also be in $\mathcal{F}$. Is this true?
The doubt in synthesis
When proving that there exists a maximal element for a set with Zorn's Lemma, proving that the upper bound is inside the set (because Zorn's Lemma doesn't guarantee this) implies that the maximal element also inside the set?
There is no meaning to the term "maximal" outside your ordered set. So, yes, the maximal element lies inside $\cal F$, and that is exactly what is guaranteed by Zorn's Lemma.