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

Zeige durch ein Beispiel, dass Fakt

ohne die Voraussetzung, dass eine surjektive Terminterpretation vorliegt, nicht gelten muss.

Eine Lösung erstellen