{"entities":{"Q676182":{"pageid":678031,"ns":120,"title":"Item:Q676182","lastrevid":63501183,"modified":"2026-04-11T13:35:05Z","type":"item","id":"Q676182","labels":{"en":{"language":"en","value":"On a paradox of Hilbert and Bernays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 992037"}},"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":"Q676182$D053A651-22B2-48E7-A859-2889C45097A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5143d0a9388142bd08dbc6fafd75ac47dbfeece4","datavalue":{"value":{"text":"On a paradox of Hilbert and Bernays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q676182$B6F7332F-BC5F-4112-BD16-D45F83DA4E49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe2314753cbd0fefba41730e03063569ac95c31e","datavalue":{"value":"0869.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676182$2089C14E-27CB-43F0-B320-1878AFE4816B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f70453c678f53cae69cef54838951af588a45b9","datavalue":{"value":"10.1023/A:1017900703234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676182$EA2F687D-B739-41D3-A07D-F249028630DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"091ee1214fd912ea59dcfc97044f853d8c5a2658","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676182$00DC1192-F263-40F4-9F89-BC06B5F4EC06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676182$CB4563D4-6727-4C63-A624-5DA8608B8BA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"969b097b704dd3f2a213d901e804a3f90e3b7c8f","datavalue":{"value":{"time":"+1997-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q676182$89699283-C3E9-4EF1-9B80-B1F2FA6579D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7c77c1746d00290e490f635908182fec90b3654","datavalue":{"value":"\\textit{D. Hilbert} and \\textit{P. Bernays}, in their Grundlagen der Mathematik, Vol. II (1939; Zbl 0020.19301), proved that, in a language for arithmetic which can refer to its own terms, any functional term, e.g. the successor function, of arithmetic has a fixed point. Since no number is its own successor, they concluded that the denotation function of arithmetic cannot be represented in arithmetic. Even a paraconsistentist cannot accept this result that every functional term has a successor. But if we apply the argument to natural language, we cannot but accept that ``is the denotation of'' in English expresses the denotation function for English, and hence we cannot accept the result as a reductio of that assumption. (Cf. the parallel case with Tarski's theorem applied to natural languages, with ``is true'' in place of ``denotes''.) The present paper argues that the most plausible conclusion is that not all terms denote (invalidating some forms of Meinongianism). This is compared with an analogous result (taking G\u00f6del codes as names, and decoding as a denotation function) in recursion theory, where \\textit{S. C. Kleene}, Introduction to metamathematics (1952; Zbl 0047.00703), ch. 12, moved to a theory of partial functions, and Kleene's ``strong identity'', \\(\\simeq\\), provides the usual trade-off between expressive completeness and inconsistency.","type":"string"},"datatype":"string"},"type":"statement","id":"Q676182$F9424D1B-64E9-4085-B0F9-9666CBF76501","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676182$696C0D4B-89E7-41B9-B92D-439F18C9537D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676182$88B8A6F7-6F0C-482B-83B1-C00D8953BF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676182$FE7C3DA2-8AA1-4DA1-B2EE-47879CBD9D0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7eea93fbb80f49532e2be121f634eda84a79d434","datavalue":{"value":"992037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676182$99604859-4EA5-4BDF-9DC7-36E418707D45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q676182$1A90718C-36E9-4C67-84B7-9E55995F3EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6114dffc39a576b7fd6beb1721f86c52e8a68a44","datavalue":{"value":"denoting","type":"string"},"datatype":"string"},"type":"statement","id":"Q676182$02814937-7EF3-4B3A-B783-C06481918F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d20e48894645cddeb1470fed639a46af5916e87b","datavalue":{"value":"Hilbert-Bernays paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q676182$39BFE97C-316D-4F9D-8A51-0ECD6030C186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fc7c7e5556dcd382df95a9b3cbc94f9c9bfb0","datavalue":{"value":"natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q676182$22A0FC9E-E619-4413-BEAE-BE4A9F6BC6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8de75ae0cd7546cfcda88e05738de0537a6b8b","datavalue":{"value":"denotation function","type":"string"},"datatype":"string"},"type":"statement","id":"Q676182$196D0083-22D3-4462-BD89-80CFD8EB4987","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2e25ffdd7f329ba4e1c3eb78ab1e2a0a692abdd6","datavalue":{"value":"Q56852436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676182$849F8330-B0C8-4781-821C-2AAF06D7BF68","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5e4a390b9b69e1baf3efd1df8ffc4e33c0c36022","datavalue":{"value":{"entity-type":"item","numeric-id":1234661,"id":"Q1234661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676182$DFD48B3D-0C1D-4A10-A6A1-6A5E48DBFC4D","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":"Q676182$C6DD7B60-B96B-48F2-9F06-3359AC6157D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f000988fa170769c1376d6e16c8e429234f3d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4342084,"id":"Q4342084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676182$B94A9191-D180-4784-8A74-9027B3D392D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be99e1f896a6838dd0f91ded8130808d4f1089","datavalue":{"value":{"entity-type":"item","numeric-id":4052072,"id":"Q4052072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676182$14CF023A-BAF4-44B8-B3D8-07DCF7ABEC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14e6969de02cf5a19417906c0c5f01258599367","datavalue":{"value":{"entity-type":"item","numeric-id":5772177,"id":"Q5772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676182$BC64DC63-DA05-462C-8E73-EB18C03F5816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676182$2095B229-584D-4C69-A1A4-4C9FA795639F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90f5c150ad20b0018bd1991ee4fad899bcf1155","datavalue":{"value":{"entity-type":"item","numeric-id":3852153,"id":"Q3852153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676182$D332433B-4B2C-4749-BCEA-A0851FE4851F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676182$C99EC848-AE59-4E17-B1CB-C5CC521926DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7a803bf914fa2b1a87acdb0c44862a6dd7500d","datavalue":{"value":{"entity-type":"item","numeric-id":4236064,"id":"Q4236064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676182$C7EF148A-3374-4287-AB7B-9976110F0309","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e7ac5f1de96e464b5f56bf084630a03b0787e1b1","datavalue":{"value":"journals/jphil/Priest97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676182$051D70D9-4799-4E35-9923-8B15FF62CDAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d18377f02f19966e0b0115b28166f49fab4396c","datavalue":{"value":{"entity-type":"item","numeric-id":571232,"id":"Q571232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28fc490e573f42af5d6d38eaa8a5aff14ad04a2","datavalue":{"value":{"amount":"+0.80641395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676182$ADC51E73-9242-49B6-ABC2-30E331D918BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e09877a1f3360d5ccad27b7e87e5ba37fb670f6","datavalue":{"value":{"entity-type":"item","numeric-id":571241,"id":"Q571241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29e0f7cef2a5f6e48c1f630bb6d26e06cb59680","datavalue":{"value":{"amount":"+0.7940675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676182$CA8D3CB4-0338-40CD-8A16-DA99E54BB64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68319e12d8b6647a3b9fcc16cdf696798ce53bb","datavalue":{"value":{"entity-type":"item","numeric-id":1830453,"id":"Q1830453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc18e0cc7a78d1902adc838e35a37c22fd51c0d","datavalue":{"value":{"amount":"+0.7831069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676182$6842EEE4-D2D2-42B2-A238-9123E74C3462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1cef764c49537b703df5a731fe4d25e501898f","datavalue":{"value":{"entity-type":"item","numeric-id":571218,"id":"Q571218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e010e369058c79df603ac40089eaa8dccc1704c","datavalue":{"value":{"amount":"+0.78272027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676182$C8915D60-A8B3-4B07-8A7A-C66422162978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9503d7f45d81b61ce487584207624f9e7c0f9a5c","datavalue":{"value":{"entity-type":"item","numeric-id":2624142,"id":"Q2624142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea06c90937173820f08af6128dad66c458e72d4","datavalue":{"value":{"amount":"+0.7813607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676182$3AD8BCD6-3C7C-49E7-9092-C3F1BC9CB0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b3f42660e72672415b76819eed23bd563a4b4f","datavalue":{"value":{"entity-type":"item","numeric-id":2595482,"id":"Q2595482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d908d441e7218b6f1fb7894a684fddb030c792","datavalue":{"value":{"amount":"+0.77722585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676182$AFA44711-BD97-48E9-9B94-07446B1E06F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d0e120100cdbc8dd848dd417483d314bd5d9b0","datavalue":{"value":{"entity-type":"item","numeric-id":1204621,"id":"Q1204621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc62412438e4ebe1dbb461cd909d0c09a607e316","datavalue":{"value":{"amount":"+0.77356875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676182$3D2FA940-89B9-486E-8166-F059816D21CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147b35c80bfa66e3f15453f8050962f73845b5a7","datavalue":{"value":{"entity-type":"item","numeric-id":2579576,"id":"Q2579576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4b7212237991acaff66022dde332fc9f509e6d","datavalue":{"value":{"amount":"+0.7729814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676182$14C668D9-92DB-4A24-A9D7-8B59A84F480F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499bfd08917d0c8f3902629b407342e546414b52","datavalue":{"value":{"entity-type":"item","numeric-id":1828975,"id":"Q1828975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc8866156232b6a3cf95bbe102bac6acbfb8932","datavalue":{"value":{"amount":"+0.7727846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676182$60BF6529-DD1B-4DE0-AB55-127C04B9FF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad32c36d47f1bf5d2240597ec6806ac7a51abfa","datavalue":{"value":{"entity-type":"item","numeric-id":1828976,"id":"Q1828976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884802e18343ff874952e17fa95b5081b629ef0a","datavalue":{"value":{"amount":"+0.7690561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676182$E0C577B3-9C83-4270-A8B1-F27EDB8F6C80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a paradox of Hilbert and Bernays","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_paradox_of_Hilbert_and_Bernays"}}}}}