Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine widersprüchliche Ausdrucksmenge ${\displaystyle {}\Gamma \subseteq L^{V}}$ in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${\displaystyle {}V}$.
2. Die Produktmenge aus zwei Mengen ${\displaystyle {}L}$ und ${\displaystyle {}M}$.
3. Die Ableitbarkeit eines Ausdrucks ${\displaystyle {}\alpha \in L^{S}}$ im prädikatenlogischen Kalkül.
4. Die Repräsentierbarkeit einer Funktion

   ${\displaystyle F\colon \mathbb {N} ^{r}\longrightarrow \mathbb {N} ^{s}}$

   in einer Menge ${\displaystyle {}\Gamma }$ von arithmetischen Ausdrücken.

5. Das modallogische Möglichkeitsaxiom.
6. Die Nachfolgermenge in einem gerichteten Graphen.