斯科勒姆,T。 如果你是Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich order abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen。 (德语) JFM 60.0025.02标准 基础 23, 150-161 (1934). 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也是尼希特·莫格里奇,扎伦瑞赫在恩德利希斯·奥德利希·奥德巴·恩德。审核人:Ackermann,W.,博士(Burgsteinfurt) JFM部分:埃尔斯特·哈尔班德(Erster Halbband)。埃尔斯特·阿布什尼特。Geschichte,《哲学与帕达戈基克》。Kapitel公司2。哲学。 PDF格式BibTeX公司 XML格式引用 \textit{T.Skolem},芬丹。数学。23、150-161(1934年;JFM 60.0025.02) 全文: 内政部 欧洲DML