\begin{definition}[Definition:Finitely Axiomatizable]
Let $\LL$ be a logical language.
Let $\mathscr M$ be a formal semantics for $\LL$.
Let $\FF$ be an $\LL$-theory.
Then $\FF$ is called '''finitely axiomatizable''' {{iff}} there exists a finite axiomatization $\AA$ of $\FF$.
\end{definition}