Logik/Modell/Maximal widerspruchsfrei/Beispiele/Ohne Surjektiv/Aufgabe
Zur Navigation springen
Zur Suche springen
Zeige durch ein Beispiel, dass Fakt
ohne die Voraussetzung, dass eine surjektive Terminterpretation vorliegt, nicht gelten muss.