×

对监测方向的研究。 (法语) JFM 56.0824.02号

社会科学与瓦尔索维书信研究中心(Travaux de la Sociétédes Sciences et des Lettres de Varsovie)。第33、128页(1930年)。
版本。gibt zunächst eine ausführliche Einführung in die Logistik,die an Klarheit und Strenge nichts zu wünschenübrig lät(Kap.I:Aussagenkalkül;Kap.II:Funkitienkallül)。Grundlage的金属学家Untersuchungen angestelt和Kap.III都是Theorien、während Kap.IV的Axiomatik der Arithmetik gewidmet的专家。Das wichtigste V.卡普。bringt Beiträge zum Entscheidungs问题und zur Widerspruchsfreiheit der Arithmetik。版本。gelangt hier u.a.zuähnlichen Resultaten wie公司洛文海姆(《数学年鉴》第76卷(1915年),第447-470页;F.d.M.45、108(JFM 45.0108.*)-109)和斯科勒姆和Benutzung präziserer Begriffsbildungen(在Gegensatz zu洛文海姆präzisiert,is es heißt,eine Aussage des elementaren Funktitonenkalküls sei“wahr in bezug auf einen unendlichen Individuenbereich”)。
在Einleitung betant Verf.mit Recht–und dies wird auch durch die späteren Ausführungen erhärtet–,da's viele Streitpunkte hinsichtlich der Grundlegung der Mathematik ihren Urspung In einer Vermengung inter-mathematicher mithematischer mit metamamatischen Begriffen haben und alsbalsbals verschwinden,这位穿着dieser Hinsicht reinliche Unterscheidungen macht的男子。Hierher gehören z.B.Meinangsverschiedenheiten hinsichtlich des“非datur tertium”,der rekursiven Begründungsverfahren,der(直觉主义)Konstruierbarkeit,sowie die博雷尔sche悖论von der endlichen Definierbarkit。

引文:

JFM 45.0108*