Alphabet erster Stufe/Symbole für Relationen und Funktionen/Grunddaten/Definition/Begriff/Inhalt

Das Alphabet einer Sprache erster Stufe umfasst die folgenden Daten.

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

   $\neg ,\,\wedge ,\,\vee ,\,\rightarrow ,\,\leftrightarrow .$

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