Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik