 Notice that this proof uses a principle corresponding to the law of excluded middle. In the construction of \(\Gamma'\), we assumed that, at each stage, either \(\Gamma_n\) is consistent or it is not. Intuitionists, who demur from excluded middle, do not accept the Lindenbaum lemma.