Mathematische Logik/Gemischte Definitionsabfrage/3/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die Termmenge zu einer Grundtermmenge ${}(V,K,F_{n})$.
2. Eine maximal widerspruchsfreie prädikatenlogische Ausdrucksmenge ${}\Gamma \subseteq L^{S}$.
3. Die Multiplikation mit ${}n\in \mathbb {N}$ in einem Dedekind-Peano-Modell ${}\mathbb {N}$.
4. Die Befehle für eine Registermaschine.
5. Das modallogische Löb-Axiom.
6. Ein modallogisches Modell.

Zur Lösung, Alternative Lösung erstellen