Definition:Finitary


 * Finitary operator: An operator which takes a finite number of operands.
 * Finitary argument: A logical argument which takes a finite number of axioms and can be translated into a finite number of statements.