Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen Gerhard Gentzen OriginalPaper Pages: 1 - 3