type; closes #364

content/first-order-logic/completeness/lindenbaums-lemma.tex

@@ -68,7 +68,7 @@
 is true for~$n$. We have $\Gamma_{n+1} = \Gamma_n \cup \{!A_n\}$ or $=
 \Gamma_n \cup \{\lnot !A_n\}$ by construction. So $\Gamma_n \subseteq
 \Gamma_{n+1}$. If $i < n$, then $\Gamma_i \subseteq \Gamma_n$ by
-inductive hypothesis, and so $\subseteq \Gamma_{n+1}$ by transitivity
+inductive hypothesis, and so $\Gamma_i \subseteq \Gamma_{n+1}$ by transitivity
 of~$\subseteq$.
 
 From this it follows that every finite subset of $\Gamma^*$ is a