Kurs Diskussion:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesung 6

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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)