Mathematische Logik/Gemischte Definitionsabfrage/10/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die Ableitbarkeit ${}\Gamma \vdash \alpha$ eines ${}S$-Ausdrucks ${}\alpha$ aus einer Menge ${}\Gamma$ an ${}S$-Ausdrücken.
2. Eine Abbildung ${}F$ von einer Menge ${}L$ in eine Menge ${}M$.
3. Die endliche Axiomatisierbarkeit einer Theorie ${}T\subseteq L_{0}^{S}$.
4. Ein reell-abgeschlossener Körper.
5. Die Eigenschaft einer Menge ${}\Gamma$ von arithmetischen Ausdrücken, Repräsentierungen zu erlauben.
6. Das modallogische Symmetrieaxiom.

Zur Lösung, Alternative Lösung erstellen