Kurs Diskussion:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesung 6
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)