Sur les suites transfinies finalement disjointes. (Q2601649)

Es wird folgender Satz bewiesen: Falls \(\boldsymbol{\aleph}_{\alpha}\) eine beliebige Kardinalzahl \(\geqq \boldsymbol{\aleph}_0\) ist, so existiert eine Familie der Mächtigkeit \(\boldsymbol{\aleph}_{\alpha+1}\), gebildet aus transfiniten Folgen vom Typ \(\omega_{\alpha}\) von wachsenden Ordinalzahlen \(<\omega_{\alpha}\), so daß je zwei Folgen der Familie ``schließlich disjunkt'' sind. Dabei heißen zwei transfinite Folgen vom Typ \(\varphi,\, \left\{ a_{\xi} \right\}_{\xi<\varphi}\) und \(\left\{ b_{\xi} \right\}_{\xi<\varphi}\), schließlich disjunkt, wenn es eine Ordnungszahl \(\mu<\varphi\) gibt, so daß \[ a_{\xi} \neq b_{\eta} \quad \text{für} \quad \mu<\xi<\varphi \quad \text{und} \quad \mu<\eta<\varphi. \]