Über die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen. (Q2616511)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Über die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen. |
scientific article |
Statements
Über die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen. (English)
0 references
1934
0 references
Es werden endliche oder abzählbar unendliche Mengen von wahren Aussagen betrachtet, die durch Konjunktion, Disjunktion und Negation von Gleichungen oder Kleinerbeziehungen zwischen arithmetischen Funktionen sowie der Anwendung von ``alle'' und ``es gibt'' gebildet sind. Zu jeder derartigen Menge läßt sich ein Individuenbereich von einem höheren Ordnungstyp als \(\omega \) angeben und den Funktionssymbolen eine passende Bedeutung hier so beilegen, daß jede der oben genannten wahren Aussagen auch im neuen Bereich gültig bleibt. Daraus ergibt sich, daß abzählbar viele Aussagen mit lauter Individuenvariablen, die für eine Reihe vom Typus \(\omega \) gelten, diese Reihe nicht von gewissen Reihen von höheren Ordnungstypen unterscheiden können. Es ist also nicht möglich, die Zahlenreihe durch ein endliches oder abzählbar unendliches Axiomensystem, dessen Axiome Aussagen mit lauter Zahlenvariablen sind, zu charakterisieren.
0 references