  In this connection, observe that, in general, nothing would be gained by considering “languages”  L(κ,λ)  with λ &gt; κ. For example, in the “language”  L(ω,ω1), formulas will have only finitely many free variables, while there will be a host of “useless” quantifiers able to bind infinitely many free  variables.[2]