Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine widersprüchsfreie Ausdrucksmenge ${\displaystyle {}\Gamma \subseteq L^{V}}$ in einer aussagenlogischen Sprache.
2. Ein größtes Element ${\displaystyle {}x\in I}$ in einer geordneten Menge ${\displaystyle {}(I,\preccurlyeq )}$.
3. Die Bestandteile einer Grundtermmenge.
4. Ein Isomorphismus

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

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

5. Die Register-Entscheidbarkeit einer Teilmenge ${\displaystyle {}T\subseteq \mathbb {N} }$.
6. Eine ${\displaystyle {}K}$-Modallogik.