Definition:Logical Argument/Finitary
Jump to navigation
Jump to search
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.
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.