Definition:Axiomatization/Axiom

Definition
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.