Mathematische Logik/Gemischte Definitionsabfrage/10/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Die Ableitbarkeit eines -Ausdrucks aus einer Menge an -Ausdrücken.
  2. Eine Abbildung von einer Menge in eine Menge .
  3. Die endliche Axiomatisierbarkeit einer Theorie .
  4. Ein reell-abgeschlossener Körper.
  5. Die Eigenschaft einer Menge von arithmetischen Ausdrücken, Repräsentierungen zu erlauben.
  6. Das modallogische Symmetrieaxiom.
Zur Lösung, Alternative Lösung erstellen