In mathematical logic , a second-order predicate is a predicate that takes a first-order predicate as an argument . Compare higher-order predicate .
In mathematical logic , a first-order predicate is a predicate that takes a second-order predicate as an argument . Compare higher-order predicate .