The law of the excluded middle is about the truth status of any proposition. The fact that the alphabet of the language has to have a decidable equality does no

The law of the excluded middle is about the truth status of any proposition. The fact that the alphabet of the language has to have a decidable equality does not mean the law of the excluded middle is true for any theory built from the lambda calculus. (Or true in general)