×

如果你是Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich order abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen。 (德语) JFM 60.0025.02标准

Es werden endliche oder abzählbar unmedlich Mengen von wahren Aussagen betrachet,die durch Konjunktion,Disjunktion and Negation von Gleichungen oder Kleinerbeziehungen zwischen arithmetischen Funktitionen 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 Funktions symbolen eine passende Bedetung 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 is t nicht möglich,die Zahlenreihe durch ein endliches oder abzählbar unendliches-Axiomensystem,dessen Axiome Aussagen mit lauter Zahlenvariablen sind,zu charakterisieren也是尼希特·莫格里奇,扎伦瑞赫在恩德利希斯·奥德利希·奥德巴·恩德。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML