Über die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen. (Q2616511)

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.