First-order logic

First-order logic permits quantification over elements of a structure while its nonlogical symbols describe operations, constants, and relations.