Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine Primzahl.
2. Die Sprache der Aussagenlogik ${\displaystyle {}L^{V}}$ zu einer Aussagenvariablenmenge ${\displaystyle {}V}$.
3. Die Uminterpretation ${\displaystyle {}I{\frac {m}{x}}}$ zu einer ${\displaystyle {}S}$-Interpretation ${\displaystyle {}I}$ in einer Menge ${\displaystyle {}M}$, wobei ${\displaystyle {}x}$ eine Variable und ${\displaystyle {}m\in M}$ ein Element der Grundmenge ist.
4. Der Rang eines prädikatenlogischen Ausdrucks ${\displaystyle {}\alpha }$.
5. Eine ${\displaystyle {}R}$-berechenbare Funktion

   ${\displaystyle F\colon \mathbb {N} ^{k}\longrightarrow \mathbb {N} .}$

6. Eine ${\displaystyle {}K}$-Modallogik.