Definiere die folgenden (kursiv gedruckten) Begriffe.

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