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.
Zeige durch ein Beispiel, dass Fakt ohne die Voraussetzung, dass eine surjektive Terminterpretation vorliegt, nicht gelten muss.