# Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension/Lemma

This article needs to be linked to other articles.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |

This article needs proofreading.Please check it for mathematical errors.If you believe there are none, please remove `{{Proofread}}` from the code.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Proofread}}` from the code. |

## Theorem

Let $T$ be a finitely satisfiable $\LL$-theory.

Let $\phi$ be an $\LL$-sentence.

Then either $T \cup \set \phi$ or $T \cup \set {\neg \phi}$ is finitely satisfiable.

## Proof

Without loss of generality, suppose that $\phi \notin T$.

Aiming for a contradiction, suppose that $T \cup \set \phi$ is not finitely satisfiable.

Then by definition there must be a finite subset $K$ of $T \cup \set \phi$ which is not satisfiable.

Since $T$ is finitely satisfiable, $\phi \in K$.

Therefore $\Delta = K \setminus \set \phi$ is a finite subset of $T$ such that $\Delta \models \neg \phi$.

This article, or a section of it, needs explaining.In particular: $\models$You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

Let $\Sigma$ be a finite subset of $T$.

Since $\Delta \cup \Sigma$ is a finite subset of $T$, it is satisfiable.

But $\Delta \models \neg \phi$.

Hence $\set {\neg \phi} \cup \Sigma$ is satisfiable.

But any finite subset of $T \cup \set {\neg \phi}$ is either in $T$ or of the form $\Sigma \cup \set {\neg \phi}$.

This demonstrates that $T \cup \set {\neg \phi}$ is finitely satisfiable.

$\blacksquare$

#### Law of the Excluded Middle

This proof depends on the Law of the Excluded Middle.

This is one of the axioms of logic that was determined by Aristotle, and forms part of the backbone of classical (Aristotelian) logic.

However, the intuitionist school rejects the Law of the Excluded Middle as a valid logical axiom.

This in turn invalidates this proof from an intuitionistic perspective.