Definition:Logical Argument/Finitary

Definition
A finitary argument is a logical argument which starts with a finite number of axioms, and can be translated into a finite number of statements.