{"entities":{"Q2595482":{"pageid":2606225,"ns":120,"title":"Item:Q2595482","lastrevid":44433810,"modified":"2025-11-22T21:53:50Z","type":"item","id":"Q2595482","labels":{"en":{"language":"en","value":"New foundation of formal metamathematics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2514656"}},"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":"Q2595482$F6BF9144-9F5B-4BCA-A7FD-511B427254C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"060153c1bb8bcd0b91c87a0b008a86c3245a5cba","datavalue":{"value":{"text":"New foundation of formal metamathematics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2595482$B6B81098-0CF8-4770-AD43-76F1A845829B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e39ae569605973a0fa73be017f784651e3e9b5ba","datavalue":{"value":"64.0029.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595482$704EF016-E8CF-48AE-8BC3-7C13C747074F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"832bcbe970468dd12e14e8b06aef0522942a0c35","datavalue":{"value":"10.2307/2267504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595482$020B098A-15F5-40AD-8052-77D3D489730C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcb12ed2f47a2e4d3ea6b3faa5e92714975aac91","datavalue":{"value":{"entity-type":"item","numeric-id":2595481,"id":"Q2595481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595482$CB5778BE-E8B7-4E88-9FFB-CDCD2A1212B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73a3fcdebcea12ce05f5175a4cee5b4b2f63502e","datavalue":{"value":{"entity-type":"item","numeric-id":1565789,"id":"Q1565789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595482$BFEEDAEA-F530-48AE-85A2-AB2C25B1B6CD","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":"Q2595482$308485FB-91C5-451C-89DF-3C6E30CA42DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b6c3497c80ab2c734c5dd51920dd1d933838666f","datavalue":{"value":"Die Verf., bekannt durch verschiedene Arbeiten, die den rein formalen Aufbau der Metamathematik zum Gegenstand haben (vgl. die in JFM 61.0977.* bei der Besprechung von \\textit{W. Hetper}, C. R. Soc. Sci. Lett. Varsovie Cl. III. 27 (1934), 9-26 angegebene Literatur) geben hier einen auf denselben Grunds\u00e4tzen beruhenden Aufbau dieser Art, der gegen\u00fcber den fr\u00fcheren verschiedene wesentliche Vereinfachungen aufweist, u. a. einen sehr eingeschr\u00e4nkten Gebrauch des zum Aufbau eines formalen Systems nun einmal erforderlichen Bruchst\u00fccks der nat\u00fcrlichen Sprache. In dieser formalen Metamathematik findet z. B. das bekannte \\textit{G\u00f6del}sche Theorem seinen formalen Ausdruck und l\u00e4\u00dft sich auch rein formal beweisen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2595482$6DF32728-2912-43CC-8B38-3297554896AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07b5b57fd2f9b1dbac68dc7254067cbf4179db2f","datavalue":{"value":"2514656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595482$2BC884D8-20CB-4F9B-8E44-D03000EB8411","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":"Q2595482$754CDBF8-9D57-40A6-A9CC-26CA336ED5D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c99ba1a98d05f05b51eba4fb288224ba28b5666","datavalue":{"value":"https://doi.org/10.2307/2267504","type":"string"},"datatype":"url"},"type":"statement","id":"Q2595482$6887C898-7E48-44AC-9E08-D939DC3612AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c66abb0130b0d74aee908c0566d1cb1f669e3c7a","datavalue":{"value":"W2100370904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595482$09B9EC9C-8E41-4DC6-9622-D43C508404B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595482$E751C602-19B8-47A0-8321-38149F1F37EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2595482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2595482"}}}}}