Finite Axiomatizability
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).