{"entities":{"Q666895":{"pageid":668744,"ns":120,"title":"Item:Q666895","lastrevid":57132279,"modified":"2026-03-26T17:51:32Z","type":"item","id":"Q666895","labels":{"en":{"language":"en","value":"The consistency of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7034768"}},"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":"Q666895$8BF642AA-7FA0-4EEC-BEF5-A5DC2E71C9F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e531a58a1d4adcfa356fed7b0cbc32f48dbefdf9","datavalue":{"value":{"text":"The consistency of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q666895$B3E60BCB-ED2F-435C-95A7-0B96C05C7238","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc44ce1d8dfa215d7a8ee1bcc0d85df47585b681","datavalue":{"value":"1428.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q666895$9112D4F1-E40C-4936-BB51-B222EDCAC842","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c67bb9e77ba4c64c1f454f0925d6674a2a18d48c","datavalue":{"value":{"entity-type":"item","numeric-id":666894,"id":"Q666894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$4E044B59-8F55-4F14-BB4B-5516F24A26E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$6A126D3E-95D8-4549-B28F-FF6DE195C44E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a0dafee01fa9f078f484e43a23f185aeb85325","datavalue":{"value":{"time":"+2019-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q666895$1B7A86B4-8590-4048-8D76-FA96F0EF8D9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e966ab7a881543dd2bdb2e69b85a8a52b66aa5c","datavalue":{"value":"https://arxiv.org/abs/1807.05641","type":"string"},"datatype":"url"},"type":"statement","id":"Q666895$6B1F667F-8C2B-42EE-866F-571B25DDCEB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f70cc13976858108511970c891b1fe5dc2eb7037","datavalue":{"value":"The paper is devoted to the problem of proving the consistency of the arithmetic of natural numbers (Peano arithmetic PA). It is an expanded version of the author's answer posed on MathOverflow in response to the question ``Is PA consistent? Do we know it?''. The author tells about the proof of the consistency of PA in Zermelo-Fraenkel set theory ZFC  and its consequences, G\u00f6del's second incompleteness theorem, Gentzen's consistency proof and its implications, Friedman's relative consistency proof, the formalist perspective as well as finite approximations to consistency. It is a very interesting and well-written paper which explains mathematicians who are not specialists in mathematical logic and the foundations of mathematics the sophisticated problems of consistency.","type":"string"},"datatype":"string"},"type":"statement","id":"Q666895$AC003993-D4FF-478D-96DD-A3B6FD3B5818","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$D4C0E5F1-F306-456E-AFC2-486633E9CC85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q666895$ACFB67FD-1873-4EA3-9BD7-2AA6BDA42E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q666895$DE4AB916-970B-464E-AC68-8F52C319514D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b01bc92a78a2d7960540849829e282243f33867","datavalue":{"value":"7034768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q666895$085BF181-A9BD-42A3-8681-48A1CAD4A2CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b27c23e1baf1c4e4acb70aaa5b55d1a214bad","datavalue":{"value":"Peano arithmetic, consistency proofs, G\u00f6del's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q666895$16D51C4A-6DC3-4D95-A1C2-72CF04ADB4AB","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":"Q666895$D61E0E8D-725C-46C2-A042-FC03C5918D9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dab117a6b3ba201c6e4eac63cb87e6a688b59431","datavalue":{"value":"W2963313948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q666895$49E05ACE-3679-4F93-A987-0E43A3171D1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$8B2126FF-9FDC-45AA-B086-731619B7C29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$1FA3666E-214F-4748-AF69-98D8DF6F2BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d742ed801db314239490ed6fc1c547af4379ad","datavalue":{"value":{"entity-type":"item","numeric-id":2373949,"id":"Q2373949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$CF141235-226C-446D-9B9A-32274F9A6F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a80c86d2a140b131ea4f8f2f0742ec835ca441","datavalue":{"value":{"entity-type":"item","numeric-id":1841001,"id":"Q1841001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$DBC641CD-FD0B-4428-99C9-5488E9484155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c9770d9d194cdea7364c342aeaba4577b06e79","datavalue":{"value":{"entity-type":"item","numeric-id":5290924,"id":"Q5290924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$D17F3800-81EE-4273-95D0-C1F1DFE4F09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8edd782e50167ddbaab35ec4d161a683c1cba1c","datavalue":{"value":{"entity-type":"item","numeric-id":3656426,"id":"Q3656426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$B315AFA2-ABF6-4E61-9564-A560EB86C4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab8ba5ad82b9fd9e70f4f6e59d5e26aa6fdf3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3773882,"id":"Q3773882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$ACF57FBB-4DDF-45D1-ACD0-7882D17ABECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68720a7bee1bf473977140269f72bd3e6315c40","datavalue":{"value":{"entity-type":"item","numeric-id":5361242,"id":"Q5361242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$D6FCB292-956B-440A-BDCD-DBA05C2B09F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be12dc0099cec47daf5a4f027d23a1115d169d87","datavalue":{"value":{"entity-type":"item","numeric-id":1317509,"id":"Q1317509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$560FEF94-7648-4B54-9B96-829AF008EA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$04391DA8-90F1-4F33-B6B2-D17DD0D4A6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62756db01e363051fb903b58c62718f57d2ec5c4","datavalue":{"value":{"entity-type":"item","numeric-id":4640304,"id":"Q4640304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$E8946941-43F0-42E6-8576-645785AE9081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$36EBF20A-8366-463E-A974-F4AA52590704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7dfbf3008d1383f2c691c5d28ee40129ef4258","datavalue":{"value":{"entity-type":"item","numeric-id":3370623,"id":"Q3370623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$5EE98CE0-46D1-45C8-BEB6-45B4B98AB954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058eea150b9df2856b4c1fa01610e8100a8e4283","datavalue":{"value":{"entity-type":"item","numeric-id":5966925,"id":"Q5966925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$8D385392-9552-4F0D-887B-C3D4F5ACF4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0888a957eb1232464fd04f4d79bf690c9b9c6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2747704,"id":"Q2747704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q666895$3A70773A-DC46-4E48-95CF-D120BDA3E90F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a91d408353d9569aa1cb3fd44840046e93f291e","datavalue":{"value":"10.1007/S00283-018-9837-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q666895$84919E40-AAF9-4426-A849-22776D5CECE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aaa7c0363c91c87f487df431b82c1a1932b1723","datavalue":{"value":{"entity-type":"item","numeric-id":5019125,"id":"Q5019125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5b09eeff194a0477a2ca7b12ad68cfa8606127","datavalue":{"value":{"amount":"+0.8436232209205627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q666895$82CE93AA-2AF4-4024-976F-536AF00DCB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5b84bc116ed2f21cd8d67c06461d5b57f539d7","datavalue":{"value":{"entity-type":"item","numeric-id":4472955,"id":"Q4472955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7914503655e8049f0e2df866262f9bdcb9355bb7","datavalue":{"value":{"amount":"+0.8199598789215088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q666895$DE6ECBC3-1F92-464A-810E-D5779205A56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75fc01fded0132f7058e41b358ca41be9ad66853","datavalue":{"value":{"entity-type":"item","numeric-id":4648945,"id":"Q4648945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5599a48cde151db15ffef8adae6b60ecf66d9460","datavalue":{"value":{"amount":"+0.7844406366348267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q666895$8B653A6F-8473-4290-BFB6-14E8BBB89B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8b9c72d9fef11f730cce40dcccea01014686b4","datavalue":{"value":{"entity-type":"item","numeric-id":2736236,"id":"Q2736236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9597f64e2fd4ba5bfcf3b1c80803af6e92b539","datavalue":{"value":{"amount":"+0.7840518951416016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q666895$27145169-DADB-41CD-B079-87A1F0B5056C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad4829b8adee83b59b943aaf701962765b54493","datavalue":{"value":{"entity-type":"item","numeric-id":5693417,"id":"Q5693417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea8ecac9971e4a1eff29147a83073b67314184e","datavalue":{"value":{"amount":"+0.7772002220153809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q666895$95356A0E-5A50-408D-A019-B99BF1E7B1C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:666895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:666895"}}}}}