{"entities":{"Q2565993":{"pageid":2576736,"ns":120,"title":"Item:Q2565993","lastrevid":72794715,"modified":"2026-04-14T07:53:07Z","type":"item","id":"Q2565993","labels":{"en":{"language":"en","value":"A negation-free proof of Cantor's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2210073"}},"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":"Q2565993$659139FF-93C4-4838-A815-19799266C069","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ecf12d366b55cb4640e3f275a9a7092f3f8e107","datavalue":{"value":{"text":"A negation-free proof of Cantor's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565993$E8E23DA2-1000-41CC-B675-15748B2499F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69c450f277460ef8556ec9070197bf73d72a1204","datavalue":{"value":"1082.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565993$2836CE8F-3E32-4BF4-9EAC-6F9ECD27D467","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565993$0D94C7A1-4749-438A-802A-405600BAF336","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565993$F82785C0-F3B7-480D-BCD5-329F789D9BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149818fcb8bed0a5b750a95fd3a49925c0920292","datavalue":{"value":{"time":"+2005-09-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":"Q2565993$BDF493FC-DD7C-4B13-95EB-3DF0F6D6D720","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"001b8615809fd60652d9f431561b1320adfd4b56","datavalue":{"value":"The author gives a proof of Cantor's theorem according to which the power set \\(P(X)\\) of a set \\(X\\) exceeds the cardinality of \\(X\\). Assume that there is a bijective mapping \\(M:X\\to P(X)\\). Then a sequence \\(s_0,s_1, \\dots\\) is called a trace if \\(s_0\\in X\\) is arbitrary, and if \\(s_j\\in M (s_{j-1})\\) for \\(j>0\\). An element \\(t\\in X\\) is said to be simple if all possible traces beginning with \\(t\\) terminate. Then it is shown that the set of simple elements cannot lie in the range of \\(M\\). So the proof constructs the leftover subset without explicitly invoking the negation operation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565993$C516F591-0637-4480-B7B0-D3C5BDBE6C5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565993$E50C6B90-5743-465F-BC01-6761DC1B445B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565993$FD568D73-3B35-48BB-BBD8-972FF9923962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565993$D465886C-7DA1-4903-8E1E-B46EE1AC6C18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5100afcb1d974d0bbb1a8e556315b966c1ae94a5","datavalue":{"value":"2210073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565993$D25A983D-2420-4785-AF67-C532FE3CD4A6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565993$8FFD0D3F-2B29-4595-B64F-5B57BC3FD118","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":"Q2565993$74A7C1DD-4737-479E-98E8-1AAB9E0D2227","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fe5cf1f0651fb3e5ba4bab977c0a5dbe8aba9fc","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1117755152","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565993$C46D4F8F-8FA0-4CE4-ABC6-319FA49BAD04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dec23f59d12bfc217447cf6a5db792b83059301","datavalue":{"value":"W2004983205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565993$3BFA3F7A-EC8D-4D3A-AC60-12405F436C82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01845f358d35722d3b6cbbf84eb5bd6443228df3","datavalue":{"value":{"entity-type":"item","numeric-id":1073006,"id":"Q1073006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565993$DB5C9BBC-108C-411A-A48A-C38A93D056D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05746a0dac113e5198b70d5d9fc98ed6dd6405d1","datavalue":{"value":{"entity-type":"item","numeric-id":4497450,"id":"Q4497450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565993$956DBDA5-3E2E-40EE-95CB-230AA326AC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"760e9151fc1d6492d757a3d63f37ab543a5902a7","datavalue":{"value":{"entity-type":"item","numeric-id":4650304,"id":"Q4650304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565993$4239A4FC-4DEA-438B-A37B-5F2170E3A599","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8e71c2ed78ec3f4fcbe2a72d2fb683bc83b9590","datavalue":{"value":"10.1305/NDJFL/1117755152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565993$A9C6D594-4596-41BC-B357-B2B5538FA636","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a469c970d3dff2c22590bb3b43bc48dd1f22eb","datavalue":{"value":{"entity-type":"item","numeric-id":1362586,"id":"Q1362586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2618ea5740eae4b9d6c1f2880e37d166659dd0","datavalue":{"value":{"amount":"+0.807670533657074","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":"Q2565993$2BD682A0-CD36-4AC6-B6FB-389D93D2E417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0842c38d4d198b14edd4abd85b2a23c4e0a5b99","datavalue":{"value":{"entity-type":"item","numeric-id":1942044,"id":"Q1942044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ae8cf4ebd62dc5f83ddedacf8a7831eee94f37","datavalue":{"value":{"amount":"+0.7211533784866333","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":"Q2565993$B1732D59-F768-4E8F-92CE-7A4146CD1098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc77280d981c49c5f2f56c5d1ba748184203c0ce","datavalue":{"value":{"entity-type":"item","numeric-id":5108121,"id":"Q5108121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5f0d9247096a9fbcd415315aeb7521d43e4705","datavalue":{"value":{"amount":"+0.716483473777771","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":"Q2565993$ABE717B1-6490-42EE-8C77-03EC022DD432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5ce953e23a378d31b6f1deafb41f81b096d867","datavalue":{"value":{"entity-type":"item","numeric-id":5379656,"id":"Q5379656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b21d9b60e0df81c6159a2ba0d2eae81df1625d","datavalue":{"value":{"amount":"+0.7062312364578247","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":"Q2565993$E2FE2A5F-6828-4D6C-8CE2-07FB8FA50011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ccb42d6e95728a6a5195af336f1df92333d48f0","datavalue":{"value":{"entity-type":"item","numeric-id":5204798,"id":"Q5204798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240377d098c436eb767f2fa5d72308d1bd3ae0e3","datavalue":{"value":{"amount":"+0.6909595727920532","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":"Q2565993$FB69DCE1-6C24-4307-A0C1-5D38A00A4D51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A negation-free proof of Cantor's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_negation-free_proof_of_Cantor%27s_theorem"}}}}}