In formal logic, the number of arguments (see Argument) a predicate takes.