Definition:Axiom/Formal Systems

Definition
 Let $\mathcal F$ be a formal system consisting of a formal language with a proof system $\mathcal D$.

An axiom of $\mathcal F$ is a well-formed formula in $\mathcal F$ that $\mathcal D$ approves of by definition.