Title: Ein formales System der einfachen Typenlogik mit Extensionalität und Elimination der Schnittregel