{"entities":{"Q5922360":{"pageid":8055551,"ns":120,"title":"Item:Q5922360","lastrevid":93656774,"modified":"2026-06-05T04:47:26Z","type":"item","id":"Q5922360","labels":{"en":{"language":"en","value":"Grundz\u00fcge der theoretischen Logik."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2514643"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922360$B03A3447-40F9-4A72-A318-340EC9E1729C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f2ae2cbdcbd8064b3dfa1ff8ec6a268896d9687","datavalue":{"value":{"text":"Grundz\u00fcge der theoretischen Logik.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5922360$2DE357BC-D844-4443-85A6-2236454EB2AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4b0f8eb04628c03e73c8297370227009b6ab500","datavalue":{"value":"64.0026.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922360$327ACE1C-964C-48EF-BE7B-5C02C6DBCB09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5502aa3c3b8120e8086041446437cac5268d573","datavalue":{"value":{"entity-type":"item","numeric-id":767005,"id":"Q767005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922360$A6DCCE95-624B-48DD-B140-476F17EE3DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63f4e6b9ab2b2c08898c0c1fdb9359a9aae57735","datavalue":{"value":{"entity-type":"item","numeric-id":6480500,"id":"Q6480500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922360$6507F490-2684-481C-9FC1-8D89913FA62A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fed8ca073f45cde5abb27ff60298e404c1d310fe","datavalue":{"value":{"entity-type":"item","numeric-id":563288,"id":"Q563288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922360$10923F82-1949-47D7-9DD2-16121867B0DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5922360$E1D26EBF-BF89-4F88-BEAB-1F833D54E058","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"020c0bbf8fae3fae811b5b67e4586ffb74def189","datavalue":{"value":"Die vorliegende zweite Auflage dieses vortrefflichen Lehrbuches der theoretischen Logik unterscheidet sich im Aufbau gar nicht von der ersten (1928; F. d. M. 54, 55 (JFM 54.0055.*)); die wichtigsten in der Zwischenzeit gemachten Fortschritte sind aber durch verschiedene Verbesserungen und Zus\u00e4tze ber\u00fccksichtigt, die Literaturhinweise im Text sind zahlreicher geworden. Die Terminologie ist zum Teil ge\u00e4ndert worden, um sie in Einklang mit der des Buches ``Grundlagen der Mathematik'' von \\textit{Hilbert} und \\textit{Bernay}s (1934; JFM 60.0017.*) zu bringen; z. B. ist der Ausdruck ``Funktionenkalk\u00fcl'' durch ``Pr\u00e4dikatenkalk\u00fcl'' ersetzt worden.  Die wichtigsten \u00c4nderungen sind: Im I. Kapitel werden einige neuere Forschungen \u00fcber die Axiome des Aussagenkalk\u00fcls ber\u00fccksichtigt. Im III. Kapitel sind die in der ersten Auflage nicht hinreichend genau formulierten Ableitungsregeln im Pr\u00e4dikatenkalk\u00fcl jetzt verbessert worden. Neue Beweise der Unabh\u00e4ngigkeit und Vollst\u00e4ndigkeit des Axiomensystems werden angegeben. Die wichtigsten neueren Ergebnisse \u00fcber das Entscheidungsproblem werden erw\u00e4hnt. Im IV. Kapitel wird nicht mehr auf die verzweigte Typentheorie eingegangen, weil die Widerspruchsfreiheit der Stufenlogik beweisbar ist. Allein, soviel Ref. wei\u00df, ist diese Widerspruchsfreiheit nicht beweisbar, wenn ein Unendlichkeitsaxiom f\u00fcr den Individuenbereich hinzugef\u00fcgt wird.  Ref. m\u00f6chte die Frage aufwerfen, ob es nicht angebracht gewesen w\u00e4re, in diesem sch\u00f6nen Buche auch die rekursive Zahlentheorie kurz zu behandeln.  Besprechungen: W. V. Quine; J. symbolic Logic 3, 83-84. A. v. Zeppelin; Nature 142, 413-415. Th. Skolem; Norsk mat. Tidsskrift 20, 67-69.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5922360$AE638FAF-ECEF-4BC8-9A2D-3A82F5D4957F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ae0e2f5612afc9d5aeaafcbab574e0129d968cc","datavalue":{"value":"2514643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922360$550D91EA-CEFD-4167-8D5B-D23A012F6C63","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922360$BDA64F2F-73B4-463C-9A55-DC2043296BBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Grundz\u00fcge der theoretischen Logik.","badges":[]}}}}}