r 4 0GISCHEN SATZ VOM A.USGESCHLOSSENEN DEITTEN. 23 



mit F n , F n , F.j-i,... bezeiehnet. Die konstruktiven Unterspecies 

 erster Ordnung einer Fv l ...v m beissen konstruktwe Unterspecies 

 (m -j- T)-ter Ordnung, und werden mit F v v ^ und F v v 2 bzw. 

 mit F v ....v nl i, ^...v m 2) F Vi _. Vii3 ,. . . bezeiehnet. Jede bei der 

 Herstellung von F benutzte Urspecies erscheint in dieser Weise nis 

 eine honstruhtive Unterspecies endïicJier Ordnung von F (ótjgleich es 

 natörlich möglich 1st, dass diese Ordnung für passend gewàhlte 

 Urspecies voit #'unbeschrankt wâchst). Urn dies ein zusehen , braucht 

 man nur die induktive Met/zode anzuwenden, d.h. zu beachten, 

 dass F mittels einër endlichen Zabi von erzeügenden öperationen 

 konstruiert ist, und dass die fragliehe Eigenschaft, wenn sie für 

 £ x und £ 9 bewiesen ist, ebenfalls fur %{-\- £ 2 S^, Ullt ' wonn sie 

 für jedes £ v bewiesen ist, ebenfalls fur S % v gilt. 



v=i 



1 . Es sei 



^ v l--'- v m ~~ ^fV * v '. 



F v . ... v i = S F v . . 





alsdan n ist 



r,— 1 , >'i . . 



*=1 1 '" 



2. Es sei 



-*-!/. y ^i»i .v i -*• v . . . y ■? » 



F — v F (,i) 



7 (n) 



P — v yW . 



-i. v. u 9 ^ -^ v.. y "i 



y l- • /i<- "V -'m-' 



/, = 1 



alsdann ist 



»! = ! 

 00 , 



= 2^ 



J-l 



»! — 1 



fc=i * m 



