{"entities":{"Q1062967":{"pageid":1073719,"ns":120,"title":"Item:Q1062967","lastrevid":66063186,"modified":"2026-04-12T07:17:19Z","type":"item","id":"Q1062967","labels":{"en":{"language":"en","value":"Peirce and Dedekind: the definition of finite set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3916209"}},"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":"Q1062967$601F6633-F8BA-443C-9990-5B253E198EF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e02241770369b3e693501150d494759cdd237a82","datavalue":{"value":{"text":"Peirce and Dedekind: the definition of finite set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1062967$ECB605B7-C395-4150-AB66-BD36EA7A647C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6df96901a34baa8de38058a0d1ce9d6b2f7c2e1","datavalue":{"value":"0574.01009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062967$02C96223-A87F-494C-8903-E5C94BCBED74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e374f155bd44538085b5e5e999492e67401b351b","datavalue":{"value":"10.1016/0315-0860(85)90019-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062967$E0182D0C-5F4A-49AA-8045-23B5994A622A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22e306daaf667ce35460d342bc4e20a78a4360cd","datavalue":{"value":{"entity-type":"item","numeric-id":1062966,"id":"Q1062966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062967$AEF72A8A-E340-4E30-B907-A6CDBA00C5BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c6d6937a3f0178a6597c072f974da30194879d85","datavalue":{"value":{"entity-type":"item","numeric-id":168116,"id":"Q168116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062967$73E64289-1179-4381-AC47-679BCB15BC7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1062967$8C16BB34-C56A-4DFD-A9DA-37560D1DF039","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89f3c50b8cdc6378c505d53c34bd3e79fb68ada6","datavalue":{"value":"In critically analyzing the contributions of Dedekind and Peirce to the axiomatic theory of natural numbers the author is able to bring out the salient features of Dedekind's contribution as well as to point out to what extent Peirce's similar contributions should be acknowledged, although his claims of priority are unjustified. Peirce had given an axiomatic definition of natural numbers similar to Dedekind and developed a symbolic language to prove that such numbers also have the property of ``finiteness''. But Dedekind was the first to show that cardinal numbers with the property of ``finiteness'' as definable through Cantor's distinction of finite and infinite sets, namely only infinite sets allow one to one mappings onto its own subsets, must also be natural numbers as defined axiomatically.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062967$BF73287F-6D8D-46B2-BF31-FC5791955C8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af5139c7b075c5330aa00a36676cc8b3cf3f85ca","datavalue":{"value":{"entity-type":"item","numeric-id":757327,"id":"Q757327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062967$194E28ED-AA44-4BD7-BE84-DD3F63253C08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062967$CF4C3DA1-5D5E-417B-B941-FF5ADBAB1BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062967$05D883AC-3CB0-4796-90D7-3950E579CCBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d483fd4c6f977c81467825f814a1e8b21ff55ff","datavalue":{"value":"3916209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062967$BC45BAC5-D308-45A8-9A87-3646E0D11BC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3892184ec61be9495be9257e43998be136c86449","datavalue":{"value":"axiomatic definitions of natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062967$100160D3-7F2F-4AFE-8816-E2E536BE11E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f0dc0acccd31ccf5a9f099eb7abca1689554645","datavalue":{"value":"symbolic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062967$2DB83FCB-D7E9-4820-AD25-A4EFAB3FC995","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":"Q1062967$2BBF97D6-B24F-448B-8A4E-7C80AA874166","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2184fa694bc19aaeb84d8f9d24906634c554220b","datavalue":{"value":"https://doi.org/10.1016/0315-0860(85)90019-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1062967$CBFDFF31-C4CB-427F-B53D-22D83673B9BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d46d21612ae604c5128c981ece85b2b389179c09","datavalue":{"value":"W2035217582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062967$5F7DB4C0-4935-4517-A6F5-EDCFA822A186","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"251d8d3cb78253242dd3bcd29452cabd8e804bb3","datavalue":{"value":{"entity-type":"item","numeric-id":5344971,"id":"Q5344971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062967$CE0FE597-9D17-4BCF-9C3B-E5824CB525E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39d173da767b8ecf63d79770d8777e85632518b","datavalue":{"value":{"entity-type":"item","numeric-id":4132192,"id":"Q4132192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062967$CDE741BD-D5B0-4109-BC35-967C41248764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24d1895095310bffac4b57a9a28c02bff058474","datavalue":{"value":{"entity-type":"item","numeric-id":1166511,"id":"Q1166511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062967$185B4F5D-F9CB-4B8C-8B60-A2A521C5E196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb4ecf27b031b65f701eb38679f0d2420b69c9b","datavalue":{"value":{"entity-type":"item","numeric-id":4082752,"id":"Q4082752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062967$443BFA84-0B41-41B7-B5A4-2F15F85A368C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac2293cd4e47f0c00adc83ccc7ee5dc641bb63c","datavalue":{"value":{"entity-type":"item","numeric-id":3922632,"id":"Q3922632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062967$0AAF0A24-5997-4C8A-A9AB-B7CDA6822F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0995adcb22915bb6e1c04a6fa28a2a87ba6b3af","datavalue":{"value":{"entity-type":"item","numeric-id":3885733,"id":"Q3885733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062967$F5A790E1-F17F-483A-9978-06E444906A69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1480fbd6219e1f4ce603cbb1b4c0ff3dc33e3d9","datavalue":{"value":{"entity-type":"item","numeric-id":2862668,"id":"Q2862668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1495e334c2bcc59f5f32e12e9aaf0388e85fbe5a","datavalue":{"value":{"amount":"+0.8434343338012695","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":"Q1062967$AFBE9434-9014-4214-A198-CB05E9902AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43827791bdea09c82cca1e1022817adacee8a1cb","datavalue":{"value":{"entity-type":"item","numeric-id":3022270,"id":"Q3022270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e39bbc76e59e80fae5ba604d3c7eff49ac592b28","datavalue":{"value":{"amount":"+0.7474927306175232","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":"Q1062967$244E8B49-D8FB-4175-9390-13B6B018824A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac818df957922810a1efd264cce4a07cf72a4786","datavalue":{"value":{"entity-type":"item","numeric-id":3824404,"id":"Q3824404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd67dfd1970b36b091d04e561ca0e7433d9ff2e","datavalue":{"value":{"amount":"+0.7286413908004761","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":"Q1062967$95FD7481-368F-4348-B013-492ED8DE4737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd53721dd59b8e6bc0f03422c1f165b4c0509f0","datavalue":{"value":{"entity-type":"item","numeric-id":1694959,"id":"Q1694959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce11bf1f2d1cf1f75d41829a4fba813e4417609","datavalue":{"value":{"amount":"+0.7285143136978149","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":"Q1062967$CB53225F-B3D4-4BEA-B515-1986F52D2D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a95233e35cf0289df18f92f79ce7560185c2529","datavalue":{"value":{"entity-type":"item","numeric-id":4225041,"id":"Q4225041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8355ecade7082063d83051b378712cfb5a7a4dc9","datavalue":{"value":{"amount":"+0.7269189357757568","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":"Q1062967$74C6129D-684C-4D39-921E-543D22C4B3CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Peirce and Dedekind: the definition of finite set","badges":[]}}}}}