1) Mathematical logic 
In mathematics or logic, a finitary operation is an operation that takes a finite number of input values to produce an output, like those of arithmetic. Operations on infinite numbers of input values are called infinitary. A finitary argument is one which can be translated into a finite set of symbolic propositions starting from a finite set of ax...