 A formal language is called second-order if it has second-order variables and first-order variables, and no others; Third-order if it has third-order, second-order, and first-order variables and no others, etc. A formal language is higher-order if it is at least second-order.