Theorems on cardinal numbers. (Q1502513)

Eine Fortsetzung der größeren, unter dem Titel ``On cardinal numbers'' im American J. 24, 367-394 erschienenen Arbeit (vgl. F. d. M. 33, 74, 1902, JFM 33.0074.02). In dieser letzteren war schon bewiesen, daß, wenn \(\alpha\), \(\alpha'\), \(\beta\), \(\beta'\) endliche oder unendliche Kardinalzahlen bedeuten und \(\alpha < \alpha'\), \(\beta < \beta'\), dann \(\alpha + \beta \leq \alpha' + \beta'\) sein muß. Hier wird gezeigt, daß bei derselben Voraussetzung \(\alpha + \beta < \alpha' + \beta'\). Unter den weiteren Sätzen werde noch hervorgehoben: ``Wenn \(n\) eine endliche Zahl und \(\alpha_0\) die erste unendliche Zahl bedeutet, und wenn \(n\times\beta = \alpha_0\times\beta\), so ist \(\beta = \alpha_0\times\beta\).'' Die Beweise sind wieder in der Peanoschen Begriffsschrift geführt.