finitary

Adjective

 * 1)  Of a function, taking a finite number of arguments to produce an output.
 * 2)  Pertaining to finite-length proofs, each using a finite set of axioms.