The AI-powered English dictionary
not comparable
(mathematics) Of a function, taking a finite number of arguments to produce an output. examples
(logic) Pertaining to finite-length proofs, each using a finite set of axioms. examples