First-order Language

The first-order (or predicate logic) language over the vocabulary $\sigma$, denoted by $\mathcal{L}[\sigma ]$, is the set of all expressions over $A_{\sigma }^{\ast }$ that are moreover $\sigma$-formulas.