Definition:Finitary


 * Finitary operation: An operation 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.