Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension/Proof 1

Theorem
Let $T$ be a finitely satisfiable $\mathcal L$-theory.

Then there exists a finitely satisfiable $\mathcal L$-theory $T'$ which contains $T$ as a subset such that for all $\mathcal L$-sentences $\phi$, either $\phi \in T'$ or $\neg \phi \in T'$.

Proof
The set of all finitely satisfiable $\mathcal L$-theories containing $T$ forms an ordered set using subset inclusion as the ordering.

Let $C$ be a nonempty chain in this ordered set, and let $T_C = \displaystyle \bigcup_{\Sigma \in C} \Sigma$.

If $\Delta$ is a finite subset of $T_C$, then there is a single $\Sigma$ in $C$ which contains $\Delta$.

Since this $\Sigma$ is finitely satisfiable by definition, this means that $\Delta$ is satisfiable.

Hence $T_C$ is finitely satisfiable.

Since each $\Sigma \in C$ is contained in $T_C$, this means that $T_C$ is an upper bound for $C$ in the ordered set.

Thus, by Zorn's Lemma, there is a finitely satisfiable $\mathcal L$-theory $T'$ containing $T$ such that $T'$ contains all other such theories.

Let $\phi$ be an $\mathcal L$-sentence.

Suppose $T'$ does not contain $\phi$.

If $T' \cup \{\phi\}$ were finitely satisfiable, then by definition of  $T'$, $T'$ would contain $T' \cup \{\phi\}$ as a subset.

This would mean that $T'$ contains $\phi$, which contradicts the assumption.

Thus $T' \cup \{\phi\}$ is not finitely satisfiable.

By the lemma, $T'\cup \{\neg\phi\}$ is finitely satisfiable.

Thus, by definition of $T'$, $T'$ contains $T' \cup \left\{{\neg \phi}\right\}$ as a subset, and hence $T'$ contains $\neg \phi$.