RhymeZone: finitary definitions

Definitions of finitary:

adjective: (mathematics) Of a function, taking a finite number of arguments to produce an output.
adjective: (logic) Pertaining to finite-length proofs, each using a finite set of axioms.

(Definitions from Wiktionary)