\begin{definition}[Definition:Logical Argument/Finitary]
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.
Category:Definitions/Logic
\end{definition}