Definition:Finitely Axiomatizable

Definition
Let $\LL$ be a logical language.

Let $\mathscr M$ be a formal semantics for $\LL$.

Let $\FF$ be an $\mathcal L$-theory.

Then $\FF$ is called finitely axiomatizable there exists a finite axiomatization $\AA$ of $\FF$.