Church，A.教堂。 逻辑基础的一组假设。一、 二、。 （英语） JFM 59.0052.01号 数学年鉴。 (2) 33, 346-366 (1932); 34, 839-864 (1932). Seitdem公司罗素zur Vermeidung von Paradoxien seine Typenthorie in Verbindung mit dem Reduzibilitätsaxiom aufgestellt hat，sind mehrere Versuche gemacht worden，eine philosophysch befriedigender Grundlegung der Logik zu erzielen，z.B.von在Verbindung-mit dem Redu zibilitátsaxoim aufgethelt haChwistek公司，der bei Beibhaltung der Typenthorie das Reduzibilitatsaxiom falled ließ，dafüir aber wesentliche Teile der Mathematik preisgeben muÞte；奥赫·哈本怀特黑德und（单位）罗素《数学原理》中的埃因莱通·祖尔·兹韦滕·奥弗莱格（Elinleitung zur zweiten Auflage der“Principia Mathematica”einen wesentlich与德国格伦格丹肯·恩威克（Grundgedanken entwicket）、德国Hauptteil nicht berücksichtigt worden undüber einen bloßen Ansatz nicht hinausgediehen ist。Auch die vorliegenden beiden Arbeiten gehören in diese Reihe，unterscheiden sich aber von allen andern Versuchen dadurch，daࢹder engste Anschlu坂an das inhaltliche logische Denken gesucht wird。Eine Typenthorie，die，wie man zu-geben muß，immer etwas Künstliches hat，wird nicht mehr zugrundegelegt。Als den Grundgedanken，der die Paradox ien vermeiden soll，bezeichnet Verl，在Grundgedanken，在Paradox ien vermeiden soll，在Grundgedanken，在Paradox ien vermeiden soll，在。eine“gewisse Einschränkung des Satzes vom ausgeschlossennen Dritten”（“地理信息”）。Dieser Ausdruck ist nicht ganz glücklich gewählt；德国麻省理工学院直觉主义者Gedankengängen hat die Arbeit gar nichts zu tun。如果Verf更进一步，那就是vielmehr die dem inhaltlichen logischen Denken durchaus entsprechende Zulassung der Möglichkeit，daßein Prädikat auf gewisse Dinge angewendet weder eine wahre noch eine falsche Aussage ergibt。Z.B.是一个富有的人，den Satz“die Zahl 2 is rot”als sinnlos，den als falsch zu bezeichnen。Der ganze，scheinbar komplizierte Aufbau bei dem Verf.hat nun den Zweck，das logische Operieren auf die wirklichen Anssagen zu beschränken。Auf Einzelheiten des Axiomensystems kann hier nicht eingegangen werden；es sei nur bebemerkt，daßdas System von der ersten Stufe ist，indemähnlich wie bei公司施恩芬克尔（1924年；《联邦公报》第50卷，第23页（JFM 50.0023.*））“普雷·迪凯特”、“福克蒂翁”、“奥萨格弗克努普冯根”als Dinge auftreten。在diesem Bereich von Dingen hat man eine einzige Belegungsfunktion mit zwei Arguten，die uns das Ding angibtt das neuentsteht，wen ein Ding，etwa ein“Prädikat”，在ein andres Ding，itwa ein-“Prádikatenprädika”，eingesetzt wird中。Tatsächlich kann Verf.zeigen，dadie Paradoxien derüblichen Form nicht in dem System auftreten（德姆系统）。Beziehung的父亲是Widerspruchsfreiheitsbeweis的父亲，他是Schwierigkeiten的父亲。（版本：halt ihnübrigens wenigstens für möglich，da er glaubt，daßdie哥德尔schen Ergebnisse auf sein System nicht and wendbar sind.）因此，在兹韦滕·阿贝特将军的战争中，存在着一个新的系统，这是一个巨大的挑战罗素sche Paradoxie zwar nicht in der ursprünglichen，aber in modifizierter Form auftrat。Jedenfalls befriediggt der vorliegende Ansatz einer typenlosen Logik nach der Auffassung des Referenten von einem prinzipiellen Standpunkt aus am meisten（绝地之友）。Ob es allerings auf diese WeiBe wirklich gelingen wird，die Klippe der Paradoxien zu vermeident wird erst die Zeit lehren，让我们来看看这一切。版本。beabsichtigt，demnächst die Theory der ganzen，rationalen und reellell Zahlen aus seinem System heraus zu entwickln的理论。审核人：Ackermann，W.，博士（Burgsteinfurt） 引用于10文件 JFM部分：埃尔斯特·哈尔班德（Erster Halbband）。埃尔斯特·阿布施尼特。Geschichte，《哲学与帕达戈基克》。Kapitel公司2。哲学 引文：JFM 50.0023* PDF格式BibTeX公司 XML格式引用 \textit｛A.Church｝，Ann。数学。（2） 33346--366（1932年；JFM 59.0052.01） 全文： 内政部