stylistic:tone, structural:expansion
Quantification scope

First-order logic quantifies only variables that range over individuals; second-order logic, also quantifies over sets; third-order logic also quantifies over sets of sets, and so on.

Higher-order logic is the union of first-, second-, third-,..., n th-order logic; i.e., higher-order logic admits quantification over sets that are nested arbitrarily deeply.