Logik/Modell/Maximal widerspruchsfrei/Beispiele/Ohne Surjektiv/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige durch ein Beispiel, dass Fakt

ohne die Voraussetzung, dass eine surjektive Terminterpretation vorliegt, nicht gelten muss.
Eine Lösung erstellen