{"entities":{"Q6952157":{"pageid":21216477,"ns":120,"title":"Item:Q6952157","lastrevid":84081905,"modified":"2026-05-09T14:41:12Z","type":"item","id":"Q6952157","labels":{"en":{"language":"en","value":"Mathematical developments of the incompleteness theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8070557"}},"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":"Q6952157$09E4A2AA-5884-4451-BA02-1BD0423F3CC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a48be2dd792067e9bce5de6acfa6ee4e9d3023a","datavalue":{"value":{"text":"Mathematical developments of the incompleteness theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6952157$B48B2B06-DF20-4524-B6EE-44B6836D7142","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3afaed923db0df9afb58068755842cf4593d3cb9","datavalue":{"value":"10.1090/SUGA/487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6952157$53A035D9-6188-471A-A559-68D8E2B44B1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$F8F58811-0B9C-4AD2-BF80-380E5A8B82B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"76e7d045941fc122aa1058b17fad1d408457dd36","datavalue":{"value":{"entity-type":"item","numeric-id":3298317,"id":"Q3298317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$EE03BC37-6404-42D0-9C61-13E89D6CA4E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a9811af95d74677c616838320cac001d09e488b","datavalue":{"value":{"time":"+2025-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6952157$55D0B2FC-B358-467C-9523-F35C59F64E01","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"55a39ff3c932dc6c258d926021902628554457af","datavalue":{"value":"This is a survey of some old and new results on and about the incompleteness phenomenon from the author's viewpoint. It is comparable, in depth and width, to the good survey of \\textit{Y. Cheng} [Bull. Symb. Log. 27, No. 2, 113--167 (2021; Zbl 1497.03067)] cited in the paper as [12] and to the older marvelous survey of \\textit{L. D. Beklemishev} [Russ. Math. Surv. 65, No. 5, 857--899 (2010; Zbl 1213.03071); translation from Usp. Mat. Nauk 65, No. 5, 61--106 (2010)] not cited here. The first two sections are an introduction and some standard preliminaries. The first incompleteness theorem is talked about in Section 3, which contains the results as old as Rosser's 1936 extension of G\u00f6del's theorem to a new joint result of the author published in 2022 [\\textit{T. Kurahashi} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103087, 25 p. (2022; Zbl 1539.03192)]. The second incompleteness theorem is the topic of Section 4, where various derivability conditions are introduced along with the discussion. The short Section 5 is on the reflection principles. The paper continues with Sections 6 and 7, which are on the extensions of the incompleteness theorems; Section 8 concludes the paper. \\N\\NThe paper, which ``originally appeared in Japanese'' (2021), is overall an excellent survey and is highly recommended to researchers and followers of the incompleteness theorems, which are rightfully ``positioned as fundamental results in foundations of mathematics and mathematical logic.'' One minor point that the reader should be aware of is the author's comment on page 6 (lines 37--38) that ``it is known that \\(\\Sigma_1\\)-soundness is the optimal assumption for the irrefutability of arbitrary G\u00f6del sentences.'' Here, the author means Theorem 5.10 of [\\textit{M. Kikuchi} and \\textit{T. Kurahashi}, Rev. Symb. Log. 10, No. 4, 603--616 (2017; Zbl 1426.03038)] for \\textit{arbitrary}, including standard and nonstandard, G\u00f6delian sentences. But for standard G\u00f6del sentences, the optimal condition is the consistency of the theory under consideration with the consistency statement (constructed from the standard provability predicate under consideration); see Theorem 35 and Corollary 37 of \\textit{D. Isaacson}'s fantastic paper [West. Ont. Ser. Philos. Sci. 75, 135--152 (2011; Zbl 1259.03075)], whose reading could be a good addition to the present paper. This is just a little side point, and the paper under review contains novel and up-to-date material. My two favorites are the discussions after Theorems 3.19 and 4.14 on obtaining Rosser's theorem ``without using Rosser's provability predicate,'' though Rosser's trick could be hidden under some other details.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6952157$943744FC-7B41-4297-82ED-AC746D012F31","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$97B224C7-14E3-45BD-BF88-D381C52F34B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6952157$D5A155E4-FA59-497E-A731-F95DB2575D11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30de10283a0e74bf71bd6673ed7ece7886201d11","datavalue":{"value":"8070557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6952157$110BE44B-E8FD-49AE-82B3-408388CB7202","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q6952157$8E006A7E-B1E8-4DDA-B98A-CAAD40530259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6952157$32080BE0-5BA0-4AA2-9400-FECBFD9D5D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af6f5a843a99f5a1eb02f1424ec2d67664ff9d67","datavalue":{"value":"derivability conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6952157$6EBE0CD6-15F1-4BDE-A007-00541FAF8223","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":"Q6952157$FACC4E6D-97BE-4CF3-8868-21DE46CC4C35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$06D2DD0F-46C1-4180-AAAD-601732C634B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9616a7d402b3b724c982561bad38d0949aec1e","datavalue":{"value":{"entity-type":"item","numeric-id":4093419,"id":"Q4093419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$07271201-FAB6-40BA-AA15-C4644545F2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f95e47ab3866fa0a3ffcd5ea464fa66d3da39e","datavalue":{"value":{"entity-type":"item","numeric-id":5213547,"id":"Q5213547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$50F12001-205B-4F89-8FA7-B1AF40AD7C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38cc1b757494a58f43a74f581f82ec6a620696a2","datavalue":{"value":{"entity-type":"item","numeric-id":5024504,"id":"Q5024504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$E95820F8-894B-40F6-AFF6-F348D90798BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$DC0C6675-D3F5-4A74-8C3F-75D90F34C291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1477da88e28812a4a5ce9c02aa6366d0a906447e","datavalue":{"value":{"entity-type":"item","numeric-id":5095636,"id":"Q5095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$96E34FF6-82DC-41F4-88BB-1A2F0EB5410C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094a829d8ea510afff53de194fac9831efb43a44","datavalue":{"value":{"entity-type":"item","numeric-id":2616495,"id":"Q2616495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$8B08A555-83EA-46D3-A467-02F9CAE5320C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a411a255cf8172a45308f8c73e43cb5933bacfa9","datavalue":{"value":{"entity-type":"item","numeric-id":4984861,"id":"Q4984861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$6BB7BC1D-B46F-4505-B3E7-F738F513FCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc528c015912da5cd1c5436500c9e946c0c2194","datavalue":{"value":{"entity-type":"item","numeric-id":4959663,"id":"Q4959663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$14AB5DF2-9FF6-49A4-B8C7-67A19A709891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ce029bf879fdaed2d64cff89d2bcfe4c552ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5760328,"id":"Q5760328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$209519FA-C9DE-4C3D-B341-F4D915E51217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c22c991b2a26bdc0f2429d645a22f13b900ec8f","datavalue":{"value":{"entity-type":"item","numeric-id":5328164,"id":"Q5328164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$770B6985-7162-4AD6-BDFE-19C8F0B372F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e7e6d18f997984f5f5b65812a00928e8463f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5822065,"id":"Q5822065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$435E40EB-BB37-4F85-B30B-29763BD18953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea13d3b039753e2a46041a0981358f0aebff8f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5729294,"id":"Q5729294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$96EFA9B5-729B-421E-A469-BA02CEBA4222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$DB586C46-3337-4C73-83D7-540E31D1831F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb418be53519f7156cd4cbb0c121065024120bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2870105,"id":"Q2870105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$9715B94C-4DCD-4D1B-BD10-5482D14D7C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3570699423a2d989e20f3dd1f04fcb65deff4909","datavalue":{"value":{"entity-type":"item","numeric-id":3511020,"id":"Q3511020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$BC89CE92-386D-4C88-AE72-A5A6F1252CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c95dd58cc357dcb1c686b471efeabc9b455ace","datavalue":{"value":{"entity-type":"item","numeric-id":5466245,"id":"Q5466245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$55A99F44-B0CA-4ADC-8308-6C423D91AB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec0c6339a6656b04c8db9d9f87d70c68dd44245","datavalue":{"value":{"entity-type":"item","numeric-id":571218,"id":"Q571218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$796D81AD-0110-4F32-904F-2DB79508E041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15b409b75899274128eb741092df9c3a83f6b66","datavalue":{"value":{"entity-type":"item","numeric-id":3206949,"id":"Q3206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$3336566E-42AF-44A8-9C87-96EB8B433170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3f3d70a5569a188142f8ceb430c261be789be4","datavalue":{"value":{"entity-type":"item","numeric-id":5638320,"id":"Q5638320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$AF534E6C-4606-4C63-9CF4-BA142BA00C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a122452ca789e26322f500022360f4f8440fe97b","datavalue":{"value":{"entity-type":"item","numeric-id":3864508,"id":"Q3864508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$42DA7CE0-08E3-4D47-BB94-F33468DF736B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$1625DEDD-FFB2-4166-B78C-096291344D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54aa188804abdd03487abba3e4d842743305556","datavalue":{"value":{"entity-type":"item","numeric-id":5619815,"id":"Q5619815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$B68A9B4E-9CDF-4BB3-9429-D727FC3DF6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1a301cd93c8014a1841e85fdb1644154a042ba","datavalue":{"value":{"entity-type":"item","numeric-id":5611757,"id":"Q5611757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$B1D3145C-2E5E-451B-9EC0-9A2EBBD74C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b9664387bc60a1d37dbdf953849fb0a36c15a3","datavalue":{"value":{"entity-type":"item","numeric-id":4299260,"id":"Q4299260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$DCFC4849-9AC2-4B84-9960-8D6203DD151B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914e96ea34bbc5fad7d5203a5493140eddfb6d54","datavalue":{"value":{"entity-type":"item","numeric-id":4401433,"id":"Q4401433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$AC832A53-87BC-48DD-B791-AB981EA4B86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de1ef1b33ef9f01782b10786f39c5d29c529033","datavalue":{"value":{"entity-type":"item","numeric-id":1222647,"id":"Q1222647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$E422A18A-FC8B-4FD7-80A1-8E8EF439537A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca6ee4e7ead327c8c67cecdc0b56a08c1a3c83b","datavalue":{"value":{"entity-type":"item","numeric-id":4749827,"id":"Q4749827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$7DA5E8C7-D2D4-4C4A-AEDC-7B9B098FB143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$0FBBA838-FBAE-4293-B8CF-D96C9B4C213C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4eac130af2eebafa4cd89458828f9aa401acbe","datavalue":{"value":{"entity-type":"item","numeric-id":4600818,"id":"Q4600818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$30666ABD-0796-4ADE-B800-40B362299EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b24fb3c920ff5f6023eb68ebf642820edef23d4","datavalue":{"value":{"entity-type":"item","numeric-id":6915768,"id":"Q6915768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$0B467FA2-8ACC-4CCB-BECA-3922E1110358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$79E8B09F-1D8F-4B2D-B9FE-3525DCC9E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$26DBAB06-B0E5-4C6C-AA8F-880A91165867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec5fb2fbfad13f9574a876d5815589ca78a8d354","datavalue":{"value":{"entity-type":"item","numeric-id":3845373,"id":"Q3845373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$6F9271EB-D180-495F-A95E-A2FA6C772092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce8c521174909ccec9a60fc7d5c9b69479cfc76","datavalue":{"value":{"entity-type":"item","numeric-id":1743993,"id":"Q1743993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$E512C6A3-4140-4F11-BEC5-CC3FFBF9E4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1ae19886fb2f09607612b3406b3b39a0fd0600","datavalue":{"value":{"entity-type":"item","numeric-id":1756504,"id":"Q1756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$11764CAC-FA79-4EC7-852C-6E842435797A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56050a36f966b9bacc1a86cb4c5605e0a97b28d","datavalue":{"value":{"entity-type":"item","numeric-id":5855755,"id":"Q5855755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$D680B7E0-25BE-4557-AC1E-381569F99A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6245d3ff507db61fc8681379d22f984cf51edd","datavalue":{"value":{"entity-type":"item","numeric-id":2097058,"id":"Q2097058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$556DCA25-E140-4880-9840-8E9864B0A884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47dca79042ea35769b6eb0f6d391936e68c08f5","datavalue":{"value":{"entity-type":"item","numeric-id":6670877,"id":"Q6670877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$4909D91E-0F40-4110-92D2-4C0C0184AF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0302c5bd713dba10e656c97142f9a364897140","datavalue":{"value":{"entity-type":"item","numeric-id":6846380,"id":"Q6846380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$9E01BFD1-6A89-490A-877D-3AA3B437E9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f765f575dc600b38f7d712a63e1a5dc93a868245","datavalue":{"value":{"entity-type":"item","numeric-id":2120971,"id":"Q2120971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$396F5CA2-0ABB-4F51-977B-75E104B7811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91744528218cec087c944584520ca6e77ddbb8d","datavalue":{"value":{"entity-type":"item","numeric-id":3960690,"id":"Q3960690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$AC0A055C-B44F-4389-9910-1A48E41880B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d180963570664aa1a82a9b2635813da486d110f","datavalue":{"value":{"entity-type":"item","numeric-id":3698795,"id":"Q3698795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$4DEE50B4-EF60-4439-92E0-E4F5EEF64F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba3659de23929a44a1642cbbbc4ab273698ed56","datavalue":{"value":{"entity-type":"item","numeric-id":4437331,"id":"Q4437331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$BE23BA17-A2F3-4B28-9836-8A9079649859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08fb55866e1f00be5e19b0040c6a29b55ad43fcf","datavalue":{"value":{"entity-type":"item","numeric-id":3083142,"id":"Q3083142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$8BCCC6D7-41A1-460A-B8E7-675DF9D82F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$95C02E91-8EDC-430E-A4D7-5B2FA15F8758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d443dff038da2fab7824884185234cb39c0bfe31","datavalue":{"value":{"entity-type":"item","numeric-id":3669417,"id":"Q3669417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$6E9536C7-016C-4AFC-AC3A-8C3BBE5EC4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6090a34cfdffbb5f68ab89f159a5f9836ac9847","datavalue":{"value":{"entity-type":"item","numeric-id":4190631,"id":"Q4190631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$5AA2D61C-1F35-49DB-9F3E-87114D87DCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a2d87da3370fa31078505aec633c2823335abf","datavalue":{"value":{"entity-type":"item","numeric-id":5822066,"id":"Q5822066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$28F1DEBD-2D43-40E4-8420-B334BA1B0F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec7bad1839ded3c48040ef5499ce83ee6018d52","datavalue":{"value":{"entity-type":"item","numeric-id":3279279,"id":"Q3279279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$C0098D37-6537-4648-8755-4078EFC37D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7033ec503ed6a61273ddef3f382064d38606ff9","datavalue":{"value":{"entity-type":"item","numeric-id":6636679,"id":"Q6636679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$6A047674-7FCB-45BB-B531-97C6A957CDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e803bd70ce49ad87267f2c243dfb3d39094c03a","datavalue":{"value":{"entity-type":"item","numeric-id":5181675,"id":"Q5181675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$92829D36-5DE4-4E0A-BE27-635F5A06FF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$17BD04AA-859D-4ABB-9382-20437E3ECCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbcdc6827af9f8d7894a008a301c07e31df53b6","datavalue":{"value":{"entity-type":"item","numeric-id":5732652,"id":"Q5732652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$BF62277A-C5D7-44A1-B553-FE4757C78DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1881926fa0e48cf830e47b54a7cf455dc83133a0","datavalue":{"value":{"entity-type":"item","numeric-id":5684660,"id":"Q5684660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$720D0873-8B2B-4CAB-90C1-C026D8920319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$0B6D3CB1-E74D-46D1-ADF0-D2E92246ED77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948a1c41e7add9ccf2c3694e4e10d65d6c532793","datavalue":{"value":{"entity-type":"item","numeric-id":5729296,"id":"Q5729296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$CEF63E3B-BA0E-4041-91BB-83CBE24F7525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7c3fd79d1fcedb38e21508d952845e3a4eca0c","datavalue":{"value":{"entity-type":"item","numeric-id":5764758,"id":"Q5764758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$F1E28B14-AC7E-44B0-AD54-0CD3EA023F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9281c0c4010fe5313b99e705647667172996d6f","datavalue":{"value":{"entity-type":"item","numeric-id":2603369,"id":"Q2603369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$1453A646-CBAC-40AD-A0BA-AB7FAD54F908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be2e42643c051b6d8da4b64cd531e43ea8baeb","datavalue":{"value":{"entity-type":"item","numeric-id":5817394,"id":"Q5817394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$CFAC3BCD-384F-4828-B536-B40A96BDC142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c437d18b46761a056caae2e2d677221fc9794b","datavalue":{"value":{"entity-type":"item","numeric-id":3133168,"id":"Q3133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$F470068B-A788-4CC7-9BFC-212BE44A7F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe10ca394434cc1298022085bdf713ee7bd5f18","datavalue":{"value":{"entity-type":"item","numeric-id":5224698,"id":"Q5224698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$D663118E-BE90-4DA2-A5AB-6055F5ACBB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc936fb9d74d6cbe030761022ef64e08bc9bae42","datavalue":{"value":{"entity-type":"item","numeric-id":3895468,"id":"Q3895468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$5802B968-B385-46CF-A231-4ED66424CD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5c714fd5819198abd360f8bb52f21b06f7318a","datavalue":{"value":{"entity-type":"item","numeric-id":1161741,"id":"Q1161741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$DC6C02AA-757D-4CAD-9EDF-E96AF9EC72FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$933ED9B9-AA87-49DF-8098-4AB429768A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fd7647055319cad40b5953cf3bfe9f87332e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5761282,"id":"Q5761282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$6C0A1EE5-5174-4D0D-9E75-D8EADC7AB437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32699cd0a7711c981c20a75aa6c7b5a6208cd68","datavalue":{"value":{"entity-type":"item","numeric-id":5579018,"id":"Q5579018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$D5D3DDFA-CF19-40D8-A3AC-BF56151310D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$77F00A62-52A9-4957-BA60-10897A3B2C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd0212a136f8b9704dbdcce773c4c291f76e4bb","datavalue":{"value":{"entity-type":"item","numeric-id":5567863,"id":"Q5567863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$B5B2F626-4571-4151-9D6A-CD1E5B1ED340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c334e900d69147354fcd1b09f921638515832504","datavalue":{"value":{"entity-type":"item","numeric-id":705533,"id":"Q705533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$BF7D24F6-5AA3-417E-9F67-0EC7A8AE1C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111a8f97398bf0e05a2f4a2219778fb9a69b9969","datavalue":{"value":{"entity-type":"item","numeric-id":1699730,"id":"Q1699730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$337A2C32-2014-4E22-841E-1FE745D14EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eaec5d9287b692425cb3430ded11ca3d1c2ad88","datavalue":{"value":{"entity-type":"item","numeric-id":5107534,"id":"Q5107534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$FEA42EED-B596-4AC5-9C40-92AA44EBEF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067ffecfa666aaa004c22e8ed2269daeb189837d","datavalue":{"value":{"entity-type":"item","numeric-id":6565566,"id":"Q6565566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$499C8417-1DDE-4E99-8011-3186270BC928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32a88ab50f8aab6dd1fe13b82a1a8db273f1607","datavalue":{"value":{"entity-type":"item","numeric-id":5810546,"id":"Q5810546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952157$45C99912-9811-45F3-B379-B4742448D2DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical developments of the incompleteness theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_developments_of_the_incompleteness_theorems"}}}}}