Schönen guten Abend,

ist es in der Aufgabe 2 zulässig in vorangegangenen Unteraufgaben bewiesene Lemmata bzw. eigene bewiesene Lemmata in einem Umformungsschritt zu verwenden oder dürfen pro Beweis wirklich nur Axiome (ausschließlich direkt) angewendet werden?

Viele Grüße Kevin Müller