{"entities":{"Q2776814":{"pageid":2787552,"ns":120,"title":"Item:Q2776814","lastrevid":79572755,"modified":"2026-05-06T14:14:06Z","type":"item","id":"Q2776814","labels":{"en":{"language":"en","value":"Heterologicality and imcompleteness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1716771"}},"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":"Q2776814$7C1A5C18-27F9-4957-BC49-BE24FD4AEA94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfd439bbeb7066dadc7594cb27302c168ff05236","datavalue":{"value":"0990.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776814$66BEB4F2-88EB-4503-AFC1-03593D4D4F82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de95221d43b9fbc5873b42084a5b7dc3b15bddef","datavalue":{"value":{"entity-type":"item","numeric-id":381005,"id":"Q381005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776814$BB647027-0B8F-4A88-9EFF-0622C9A9219A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05343dbffe17b2d34d1e2336dd4cb652c4d2598c","datavalue":{"value":{"time":"+2002-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2776814$C09926C9-638A-4C7F-BA34-69C334358761","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776814$A40D33CB-66FD-455E-B259-97EA38BC39E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776814$91F7A8E0-087A-4FF2-9337-7DB5F97F18CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776814$D9D14CDE-352E-424D-8435-BE4873221E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776814$5C2180F0-10A6-4752-BD26-FACB9D28A011","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9cb4357d6d7e6ee9c4d0da7756b158f9dbc09ad","datavalue":{"value":"1716771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776814$F4BE373C-E842-4293-AB86-5146CB38EFBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805010d0a0fae93274aba81f5c8a579754423c60","datavalue":{"value":"second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776814$64BF7496-CFE2-425D-874D-D168A8A795DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e28ac6507e584c1f41526e5a573c75578803933c","datavalue":{"value":"Grelling's antinomy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776814$99AE034B-A30E-4010-B26A-781981743C3F","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":"Q2776814$66DF585C-CED1-427F-B6C3-28B6EE81B1EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"850b01f29d8fac6dd0ba94059ecf97677f06259b","datavalue":{"value":{"entity-type":"item","numeric-id":4477873,"id":"Q4477873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776814$9E014742-BA83-481A-848A-BFE035752F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff41b7a700847bc3ac8334b7706d84c7a7a1a30f","datavalue":{"value":{"entity-type":"item","numeric-id":4315327,"id":"Q4315327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776814$54B7F539-499B-4A6D-99A4-21335BE11F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa23cbf3c17dd9906cf44fc92a6448101d6f154","datavalue":{"value":{"entity-type":"item","numeric-id":4323053,"id":"Q4323053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776814$FE189AD3-B8C5-4712-8FAE-252391325806","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e571813a6afe5f0978b79585ed70f4e393915d1d","datavalue":{"value":"W2137312235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776814$923A5BF6-CF71-4035-BCCA-8BAFB3FEFAD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"837d37a1fd1c6b2e4b56429fb33f0f0e4801f715","datavalue":{"value":"10.1002/1521-3870(200201)48:1%3C105::AID-MALQ105%3E3.0.CO;2-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776814$4704D805-504A-44A1-9B18-56E208F9D7EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e03a8868842ce97484758182627be4cf458ff440","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200201)48:1%3C105::aid-malq105%3E3.0.co;2-v","type":"string"},"datatype":"url"},"type":"statement","id":"Q2776814$C9B26B4C-4B58-4582-8B88-42289C726781","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd0d0b95f65941c4d8d6c88241607b89cd8a5fe2","datavalue":{"value":{"text":"Heterologicality and imcompleteness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2776814$E7A554ED-E779-4C1D-A226-6B7094B40DCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776814$730CEF21-97C4-40E5-BE3C-CCAAC4C1EE78","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"319739843cde24571a1cb301bc31507c1d62a9a1","datavalue":{"value":"For a theory \\(T\\) containing ZF, the author presents a semantic proof of the following: if \\(T\\) has a model, then \\(T+\\neg \\text{Con}_T\\) has a model. This is a version of G\u00f6del's Second Incompleteness Theorem. The author remarks it is equivalent to the usual version, provided that one has the derivability conditions characterizing provability in \\(T\\), otherwise it is weaker. Motivated by Grelling's antinomy, the author produces a sentence \\(\\text{HET}_T\\) that can be interpreted as saying the predicate ``heterological'' is itself heterological. He then shows that \\(\\text{HET}_T\\) does not follow from \\(T\\) and that it is provably equivalent in \\(T\\) to the consistency of \\(T\\). The author indicates how to give a similar result for Peano Arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776814$52E9B64B-DBE9-4D5D-92B7-BFBB0C0E4815","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776814$92CBB3C3-CE15-4708-979D-BB9C48F7C33C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdcdef4c5039a393a5aaa497f1fb9f71b14dfd0","datavalue":{"value":{"entity-type":"item","numeric-id":4299260,"id":"Q4299260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8c66450360466ef83ca82bcdd7f69e4e420401","datavalue":{"value":{"amount":"+0.7884712219238281","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":"Q2776814$3366EF6C-71DA-49F7-96A3-EA023DBF45F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5faf77cfebe26ddb786b2ed072a121e0b642df","datavalue":{"value":{"entity-type":"item","numeric-id":598275,"id":"Q598275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8c66450360466ef83ca82bcdd7f69e4e420401","datavalue":{"value":{"amount":"+0.7884712219238281","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":"Q2776814$6F5C99DA-91F8-45E8-A100-0996D28D1B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7874fdfb1ba6d79803a43cdcdca0eb08a2ab273f","datavalue":{"value":{"entity-type":"item","numeric-id":5095636,"id":"Q5095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25e4b5790d8814f20f5556c3de27ec03245c762","datavalue":{"value":{"amount":"+0.762197732925415","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":"Q2776814$0ABAE128-6313-4E78-852C-A76F0D4F2685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8cee2a3d371eb3009a94734a64088093eac5b2","datavalue":{"value":{"entity-type":"item","numeric-id":1332147,"id":"Q1332147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc40d6fe4c5edb6d6a4c2ae909ef8c0c074654f","datavalue":{"value":{"amount":"+0.746817409992218","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":"Q2776814$3C7410E3-A2C0-4022-B39F-6DF3E5FFADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d315f38f49e8f92be4b6b844579b3272c0712d4","datavalue":{"value":{"entity-type":"item","numeric-id":2834879,"id":"Q2834879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be4c91dbf115df52dc15881e693147d0e11e127","datavalue":{"value":{"amount":"+0.7453595995903015","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":"Q2776814$92A637FB-7D6A-45FB-A111-F9D76818882A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heterologicality and imcompleteness","badges":[]}}}}}