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

Seiteninhalte werden in anderen Sprachen nicht unterstützt.
Aus Wikiversity

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)[Beantworten]

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)[Beantworten]
Ist repariert--Bocardodarapti (Diskussion) 13:10, 22. Mär. 2012 (CET)[Beantworten]