Finished Set Lemma

Lemma
Let $\Delta$ be a finished set of WFFs of propositional logic.

Then any model of the set of basic WFFs in $\Delta$ is a model of $\Delta$.

Proof
Let $\mathcal M$ be a model of the set of basic WFFs in $\Delta$.

We need to show that $\mathcal M \models \Delta$.

That is, that $\mathcal M \models \mathbf C$ for each $\mathbf C \in \Delta$.

Now, let $R \left({n}\right)$ be a propositional function on the set of natural numbers $\N$ such that:
 * $R \left({n}\right) = T$ iff: for every WFF $\mathbf C$, if $\mathbf C \in \Delta$ and $\mathbf C$ has length at most $n$, then $\mathcal M \models \mathbf C$.

It is clear that $R \left({0}\right), R \left({1}\right), R \left({2}\right)$ are true because every WFF length 2 or less is basic, and $\mathcal M$ models every basic WFF in $\Delta$.

So, assume $R \left({k}\right)$ is true for some $k \in \N$.

Suppose $\mathbf C$ has length at most $k+1$ and belongs to $\Delta$.

By examining each of the cases in the definition of finished set, we see that since $\mathcal M$ models every WFF in $\Delta$ of length at most $k$, then $\mathcal M$ models $\mathbf C$.

Thus $R \left({k+1}\right)$ is true.

Thus by strong induction, $R \left({n}\right)$ is true for all $n \in \N$.

Hence the result.