${\displaystyle \lambda \colon V\longrightarrow \{0,1\}.}$

1. Eine Grundtermmenge, also eine Menge aus Variablen, Konstanten und Funktionssymbolen.
2. Zu jeder natürlichen Zahl ${\displaystyle {}n\in \mathbb {N} _{+}}$ eine Menge ${\displaystyle {}R_{n}}$ von ${\displaystyle {}n}$-stelligen Relationssymbolen.
3. Die aussagenlogischen Junktoren

   ${\displaystyle \neg ,\,\wedge ,\,\vee ,\,\rightarrow ,\,\leftrightarrow .}$

4. Das Gleichheitszeichen ${\displaystyle {}=}$.
5. Die Quantoren ${\displaystyle {}\forall }$ und ${\displaystyle {}\exists }$.
6. Klammern, also ${\displaystyle {}(}$ und ${\displaystyle {})}$.

${\displaystyle {}\Gamma }$

${\displaystyle {}\exists x\alpha }$

${\displaystyle {}L^{S}}$

${\displaystyle {}S}$

${\displaystyle {}t}$

${\displaystyle \exists x\alpha \rightarrow \alpha {\frac {t}{x}}}$

zu ${\displaystyle {}\Gamma }$ gehört.

${\displaystyle {}n+k}$

${\displaystyle {}\alpha _{n}}$

${\displaystyle {}n}$

${\displaystyle {}\alpha _{n}}$

${\displaystyle \alpha _{n}\colon \mathbb {N} \longrightarrow \mathbb {N} ,\,k\longmapsto \alpha _{n}(k),}$

ist, für die

${\displaystyle \alpha _{n}(0)=n{\text{ und }}\alpha _{n}(k')=(\alpha _{n}(k))'{\text{ für alle }}k\in \mathbb {N} }$

gilt.

${\displaystyle {}\Gamma }$

${\displaystyle {}\alpha }$

${\displaystyle {}\alpha }$

${\displaystyle {}\Gamma }$

${\displaystyle {}(M,R,\mu )}$

${\displaystyle (M,R,\mu )\vDash \Gamma }$

auch

${\displaystyle (M,R,\mu )\vDash \alpha }$

gilt.