 A vocabulary in second-order logic is just as a vocabulary in first order logic, that is, a set L of relation, function and constant symbols. Each relation and function symbol has an arity, which is a positive natural number.