Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine maximal widerspruchsfreie Teilmenge ${\displaystyle {}\Gamma \subseteq L^{V}}$ zu einer Menge ${\displaystyle {}V}$ an Aussagenvariablen.
2. Die rekursive Definition für die Ausdrücke in einer Sprache erster Stufe.
3. Die Interpretation der Terme zu einem Symbolalphabet ${\displaystyle {}S}$ in einer gegebenen ${\displaystyle {}S}$-Interpretation auf einer Grundmenge ${\displaystyle {}M}$.
4. Ein atomarer Ausdruck in der Prädikatenlogik.
5. Eine ${\displaystyle {}R}$-berechenbare Funktion

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

6. Das modallogische Reflexivitätsaxiom.