Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine Wohlordnung auf einer Menge ${\displaystyle {}M}$.
2. Eine ${\displaystyle {}n}$-stellige Relation auf einer Menge ${\displaystyle {}M}$.
3. Die Termmenge zu einer Grundtermmenge ${\displaystyle {}(V,K,F_{n})}$.
4. Ein allgemeingültiger prädikatenlogischer Ausdruck ${\displaystyle {}\alpha \in L^{S}}$.
5. Die Befehle für eine Registermaschine.
6. Die modallogische Sprache zu einer Aussagenvariablenmenge ${\displaystyle {}V}$.