Universelle Variablen und Zermelo

Zusammenfassung

Es darf nicht angenommen werden, daß die Konvention der typenmäßigen Mehrdeutigkeit damit, daß sie die Indizes, die die unterscheidenden Merkmale der vielen Variablensorten sind, unterdrückt, auch die Wirkung hat, die Typentheorie der einsortigen oder einfachen Quantorenlogik anzupassen. Eine Formel wie z.B.