Kurs Diskussion:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesung 6
Abschnitt hinzufügenLetzter Kommentar: vor 12 Jahren von Bocardodarapti
Die Beweise der Lemmata (z.B. 6.6) sind schwer nachvollziehbar. Es wäre nett auf die verwendeten Teilsätze im Axiomensystem 6.4 zu verweisen anstatt auf das gesamte System. Tomaschwutz (Diskussion) 10:13, 22. Mär. 2012 (CET)
- Richtig, das ist mir auch schon unangenehm aufgefallen. Wenn Sie auf die Einzelbeweise gehen, so erscheinen dort die Teilnummern, aber nicht in der Gesamtseite.--Bocardodarapti (Diskussion) 11:48, 22. Mär. 2012 (CET)
- Ist repariert--Bocardodarapti (Diskussion) 13:10, 22. Mär. 2012 (CET)