finitary

adjective2

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.