First-order predicate logic