Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension/Proof 2

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

There is 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
Let $\mathcal A$ be the set of finitely satisfiable extensions of $T$.

By the lemma, for each element $S$ of $\mathcal A$ and each $\mathcal L$-sentence $\phi$, either $S \cup \left\{ {\phi}\right\} \in \mathcal A$ or $S \cup \left\{ {\neg \phi}\right\} \in \mathcal A$.

$\mathcal A$ has finite character, by the following argument:

Let $S \in \mathcal A$.

Let $F$ be a finite subset of $S$.

Then $S$ is satisfiable and hence finitely satisfiable.

Thus in $\mathcal A$.

Let $S$ be a theory on $\mathcal L$.

Let every finite subset of $S$ be finitely satisfiable.

Then every finite subset of $S$ is satisfiable.

Therefore $S$ is finitely satisfiable.

Thus $\mathcal A$ has finite character.

By the Restricted Tukey-Teichmüller Theorem, $\mathcal A$ has an element $T'$ such that:
 * for each $\mathcal L$-sentence $\phi$, either $\phi \in T'$ or $\neg \phi \in T'$.