IÇIO. No. 8. DIE LÖSUNG ELNES SPEZLALFALLES EINES GENER. LOG. PROBL. 7 



Man erhält einen wichtigen Spezialfall dieser Aufgabe, wenn z. B. der 

 Baum der linken Seite jeder der erwähnten Bedingungsgleichungen nur 

 ein einziges Blatt enthält, während dieses Blatt an anderen Stellen in den 

 Bedingungsgleichungen nicht auftritt. 



Unser Problem lässt sich dann in ein neues Problem ohne Bedingungs- 

 gleichungen übertragen. 



Wir fragen hier mit anderen Worten, ob eine beliebig gegebene 

 Gleichung 



A = B 



aus II gegebenen Gleichungen 



7\ = U, 



T., = TJ. 



wo -4 und B und jedes T und r ein Baum ist, abgeleitet werden kann. 



Dieses spezielle Problem wollen wir noch weiter spezialisieren, indem 

 wir nur Begriffe einer einzigen Kategorie K in Anwendung bringen 

 werden. 



In den entsprechenden Baumfiguren können wir dann die Kategorie - 

 bezeichnungen der Knotenpunkte weglassen. 



Wir wollen dieses spezielle Problem genauer präcisieren. 



Es bezeichnen nun in den Reihen 



* T,T,T, n 



L\r.,u, u, 



jedes T und jedes U einen bestimmten Baum der obenstehenden Art mit 

 denselben Operationszeichen wie die Bäume der Kategorie A'. 



Doch soll jedes Blatt von jedem T und jedem T^ hier nicht zu einem 

 der Begriffe der Kategorie K, sondern zu einem Zeichen einer Zeichen- 

 reihe -S" gehören, wo jedes Zeichen nicht von Anfang an eine Bezeichnung 

 anderer Dinge sein soll. 



Wir wollen nun annehmen, dass die baumähnlichen Figuren T und U 

 so beschaffen sind, dass immer 



2'i = U, 



T., = U.> 



T„ = U„ 



(I) 



