{"entities":{"Q571220":{"pageid":572987,"ns":120,"title":"Item:Q571220","lastrevid":42587039,"modified":"2025-07-04T10:02:23Z","type":"item","id":"Q571220","labels":{"en":{"language":"en","value":"Die Grundlegung der elementaren Zahlenlehre."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2555084"}},"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":"Q571220$1DD2E78F-1F15-4BCD-B7AB-4771E0ABD7E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de224a8281bb7641f1bbea59593088165b5121e4","datavalue":{"value":{"text":"Die Grundlegung der elementaren Zahlenlehre.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q571220$2F856EEB-8786-4595-933E-86738CD5ECEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c833a65b93750c050a30b49e8ccf26bdff5cc09f","datavalue":{"value":"57.0054.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571220$BA665C3F-E528-466C-B3A9-6951AB796CB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae2cb57138be154081e184cbf9c69c8349c46d09","datavalue":{"value":"10.1007/BF01457953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571220$DAFC594D-97B6-4090-A4FC-CBF337DE0667","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q571220$D89AD8CB-713D-46DF-9236-8A1F29DC72F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0130902a9dcdeca58c7452ef77c67f7d7741a88","datavalue":{"value":{"time":"+1931-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":"Q571220$C73D2890-BA38-4C31-B059-3B234FA7E200","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45ae21f463280dab4ec4c89a88ec6b6892741f32","datavalue":{"value":"https://eudml.org/doc/159480","type":"string"},"datatype":"url"},"type":"statement","id":"Q571220$4AFCFD8A-8818-477D-9557-7848F0BB3DCA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f1097f7c89dfed4eaa2e4093fed14482ce8f918","datavalue":{"value":"Nach einer Einleitung, die die finit-anschaulische Einstellung und ihr Verh\u00e4ltnis zu Kants reiner Anschauung sowie die Bedeutung der transfiniten Schlu\u00dfweisen bespricht, werden innerhalb der \\textit{Hilbert}schen Mathematik die beiden Probleme wieder aufgerollt (vgl. Math. Ann. 102 (1930), 1-9; (JFM 56.0031.*), insbesondere S. 6): Wenn eine Aussage als widerspruchsfrei erwiesen werden kann, so ist sie auch beweisbar; wenn f\u00fcr einen Satz \\(\\mathfrak{S}\\) die Widerspruchsfreiheit mit den Axiomen der Zahlentheorie nachgewiesen werden kann, so kann nicht auch f\u00fcr \\textit{non}-\\(\\mathfrak{S}\\) die Widerspruchsfreiheit mit jenen Axiomen nachgewiesen werden. Diese Behauptungen werden bewiesen f\u00fcr den Fall, da\u00df es sich um eine Aussage \\(\\mathfrak{S}\\) von der Gestalt \\((x)\\mathfrak{A}(x)\\) handelt, die au\u00dfer \\(x\\) keine weiteren Variablen enth\u00e4lt; die zweite auch noch f\u00fcr Aussagen der Form \\((Ex)\\mathfrak{A}(x)\\). Das Haupthilfsmittel beim Beweis bildet eine durchaus neuartige Schlu\u00dfregel, die sich als mit dem Axiomensystem vertr\u00e4glich erweist: ``Falls nachgewiesen ist, da\u00df die Formel \\(\\mathfrak{A}(\\mathfrak{z})\\) allemal, wenn \\(\\mathfrak{z}\\) eine vorgelegte Ziffer ist, eine richtige numerische Formel wird, so darf die Formel \\((x)\\mathfrak{A}(x)\\) als Ausgangsformel angesetzt werden''. In der letzteren Formel darf naturgem\u00e4\u00df f\u00fcr \\(x\\) in \\(\\mathfrak{U}(x)\\) nicht blo\u00df eine Ziffer, sondern jeder im Formalismus m\u00f6gliche Ausdruck von Zahlcharakter eingesetzt werden, wie auch die Negation m\u00f6glich wird. Zum Schlu\u00df wendet sich Verf. gegen verschiedene Einwendungen gegen\u00fcber seiner Beweistheorie, auch solche von philosophischer Seite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q571220$171AE317-462A-4176-9BD1-F369EC2E87DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cbb3a5439ae78168d677b646d3b2ebbcffaace9","datavalue":{"value":"2555084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571220$F6984D98-10BA-4C0D-88CB-53476AD0C31C","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":"Q571220$C24BE036-288D-4BA6-B64F-DBFE58F52A78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96c17af8f44f08a4f6d7f81d4dac3bd0f50e9929","datavalue":{"value":"W4234802835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571220$9D55AEB9-83D3-4837-A96E-A610B42B2C64","rank":"normal"}],"P16":[{"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":"Q571220$1C15BBE0-A5C0-4ECD-BA16-6C5F98E2DBCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:571220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:571220"}}}}}