In calculus, a polynomial has order $n$ if it contains terms that raise the unknown to a power $n$.I'm trying to figure out how this definition of order relates to the use of the same word when talking about formal languages.We say a logic or language is first order, second order, or higher order.  I know it is related to what kinds of states of expressible within that language,b ut what does this mean, fundamentally, and why is it called the order of the language?
What does it mean for a language to have order?
fl.formal languages;lo.logic