higher-order logic: Mathematics/logic term for predicate logic with additional quantifiers/functions </>