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

Alphabet einer Sprache erster Stufe

Ein 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 ${})$.