second-order

Meanings

1. 1
   adj

   belonging to the second level or order; in logic, quantifying over predicates or sets

   The proof uses a second-order axiom.

Compound of second + order.

Topics