Editing Higher-order logic (section)

== Quantification scope ==
{{redirect|Ordered logic|the unrelated term in linear logic|Noncommutative logic}}

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.