\begin{definition}[Definition:Axiomatization/Axiom]
Let $\LL$ be a logical language.
Let $\mathscr M$ be a formal semantics for $\LL$.
Let $\FF$ be an $\LL$-theory.
Let $\AA$ be an axiomatization of $\FF$.
Then a formula $\phi \in \AA$ is called an '''axiom'''.
\end{definition}