Finite Axiomatizability

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A property of a class of structures or a theory: it is finitely axiomatizable if there exists a finite set of axioms in the chosen language whose models are exactly the structures in the class (or whose deductive closure equals the theory).