Definiere die folgenden (kursiv gedruckten) Begriffe. Bei 3.-7. bedeutet ${\displaystyle {}S}$ ein Symbolalphabet einer prädikatenlogischen Sprache erster Stufe.

1. Ein Primzahlzwilling.
2. Die Bestandteile einer Grundtermmenge.
3. Eine ${\displaystyle {}S}$-Struktur zu einem Symbolalphabet ${\displaystyle {}S}$ einer Sprache erster Stufe.
4. Ein allgemeingültiger prädikatenlogischer Ausdruck ${\displaystyle {}\alpha \in L^{S}}$.
5. Ein ${\displaystyle {}S}$-Homomorphismus

   ${\displaystyle \varphi \colon M\longrightarrow N}$

   zwischen zwei ${\displaystyle {}S}$-Strukturen ${\displaystyle {}M}$ und ${\displaystyle {}N}$.

6. Eine arithmetisch repräsentierbare Relation ${\displaystyle {}R\subseteq \mathbb {N} ^{r}}$.