Ausdrücke erster Stufe/Über Alphabet/Rekursiv/Definition/Begriff/Inhalt

Die folgenden rekursiv definierten Wörter heißen die Ausdrücke dieser Sprache.

  1. Wenn und Terme sind, so ist
    ein Ausdruck.
  2. Wenn ein -stelliges Relationssymbol ist und Terme sind, so ist

    ein Ausdruck.

  3. Wenn und Ausdrücke sind, so sind auch

    Ausdrücke.

  4. Wenn ein Ausdruck ist und eine Variable, so sind auch

    Ausdrücke.