first-order

adjective

1. logic quantifying only over individuals and not over predicates or clauses: first-order predicate calculus studies the logical properties of such quantification