I'm working through various presentations of Henkin-style completeness proofs for first-order logic, where the underlying first-order language need not be countable. I understand most of the technicalities without any problems, but for one minor point.
Let a theory in a first-order language L be a set of L-sentences that is closed under derivability. Let a theory be consistent, if no contradiction can be derived from it. Finally let a theory be maximally consistent, if it is consistent and it is identical to each of its consistent supersets.
Now in the course of proving Lindenbaum's lemma (each consistent theory is contained in a maximally consistent theory) the usual move is to use the followong claim: If T is a set of theories in L linearly ordered by inclusion, then T's union (the set of those things that are members of some member of T) is a theory.
I'm not sure how to prove this claim. Any pointers?