{"entities":{"Q2306641":{"pageid":2317384,"ns":120,"title":"Item:Q2306641","lastrevid":56740338,"modified":"2026-03-23T10:49:13Z","type":"item","id":"Q2306641","labels":{"en":{"language":"en","value":"On certain axiomatizations of arithmetic of natural and integer numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7181382"}},"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":"Q2306641$87349D55-AE98-4350-83D2-2A23A1CDC7E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27c6f8ce7f1fdd5b3d52923b8a6065285a483a50","datavalue":{"value":{"text":"On certain axiomatizations of arithmetic of natural and integer numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2306641$C613BAB2-58D7-4766-AE10-3A2887A08F91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"088dfdbfdfb278c6771d5149f69f01011f4c05b1","datavalue":{"value":"1432.03124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306641$C041A44F-A609-4487-AD09-CA59E57179D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04f47e90f3df871e4ad42b30f4898f4b5eedc3d8","datavalue":{"value":{"entity-type":"item","numeric-id":346764,"id":"Q346764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306641$497091C0-B2DD-432B-9E44-97D191BE4778","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7dd11cc262a6fcca281e817d4f5a0d8151ca3de4","datavalue":{"value":{"entity-type":"item","numeric-id":66312,"id":"Q66312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306641$1A921366-6E10-4206-8500-796DEEAB7EB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4a88d7f37b71e38c32c60bcd0ab68f12ecc1e31","datavalue":{"value":{"time":"+2020-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2306641$219D65D2-6ECD-45DC-8FB3-3780BBBF17B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3018b8f33e8248d9a4ab97f2514603f5525b3a2e","datavalue":{"value":"Summary: The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two different ways. We begin by recalling the classical set \\(P\\) of axioms of Peano's arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set \\(W\\) of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of inequality) proposed by Witold Wilkosz, a Polish logician, philosopher and mathematician, in 1932. The axioms \\(W\\) are those of ordered sets without largest element, in which every non-empty set has a least element, and every set bounded from above has a greatest element. We show that \\(P\\) and \\(W\\) are equivalent and also that the systems of arithmetic based on \\(W\\) or on \\(P\\), are categorical and consistent. There follows a set of intuitive axioms \\(PI\\) of integers arithmetic, modelled on \\(P\\) and proposed by B. Iwanu\u015b, as well as a set of axioms \\(WI\\) of this arithmetic, modelled on the \\(W\\) axioms, \\(PI\\) and \\(WI\\) being also equivalent, categorical and consistent. We also discuss the problem of independence of sets of axioms, which were dealt with earlier.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306641$836AB150-0FFA-49B4-931F-CEA4AA57BA40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306641$579B0E74-5087-44DF-8949-509BFB18EA5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe5a44b395b48c9de5cad6b388350ad0dcfdf42b","datavalue":{"value":"7181382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306641$7243DFDC-A6E8-467D-A93E-E8372F4C5E6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ecf47c00100c91c2b08ce3bf9c12bc7bbb6d08b","datavalue":{"value":"Wilkosz's axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306641$368D542A-D82E-4313-80B4-F5346A71926B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de64dc8c6f6fb2aa82b55ea231b636a3d4244c0c","datavalue":{"value":"axioms of integer arithmetic modeled on Peano and Wilkosz axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306641$C76BA53A-6CA6-487C-ABFE-774689D85A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"215d63327fec00aa7156d85dd12dd41561dea7b6","datavalue":{"value":"equivalent axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306641$7CC08F08-F40F-4B7B-BFF4-B51947CE5152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7406f0eff820b5e7ff01ccb48867d9c8dfca15","datavalue":{"value":"metalogic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306641$F7FF7CE5-7973-46C9-A188-7E389C913E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306641$96C7EB50-C952-4DA7-BCEE-DE09CD30A69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306641$426CF53B-A6C1-491D-8114-EE93EAFEFEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306641$A29F46B6-CC93-4DCC-8F5D-3AB9336C9007","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":"Q2306641$EF0276BC-4556-4F3A-8441-CC99A008BB23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c60d6080a9a15e9d206f49d1fd33e99100c6027","datavalue":{"value":"https://doi.org/10.3390/axioms8030103","type":"string"},"datatype":"url"},"type":"statement","id":"Q2306641$DBFED1F3-7F7B-482B-AADB-CE0428B3B826","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"421984e23940561f40d6b72984d77e172d018775","datavalue":{"value":"W2971927321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306641$AE5CA4A6-3FA3-4CE6-AF29-3E7F82724EFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb98e78c85850e924f7009bd7337fb54e251ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3344169,"id":"Q3344169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306641$CC5D92B7-D718-46B5-AF6C-0040DB6243D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350bdf9657a8a008a7d791cfa639fd58da3402cf","datavalue":{"value":{"entity-type":"item","numeric-id":1622790,"id":"Q1622790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306641$BB28D7DD-3CDD-4924-B79D-9AF97110346A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d64176e1bc8f69ababbedb373cad25f7af20a917","datavalue":{"value":{"entity-type":"item","numeric-id":2540259,"id":"Q2540259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306641$1649BF02-61B2-4A83-8E4C-2C54337D0395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ea25e1b414595f9f61aac3b7e59b5efe9cc207","datavalue":{"value":{"entity-type":"item","numeric-id":744846,"id":"Q744846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306641$B217B54E-E99E-413A-8856-D2D5ADD3CE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55fda03b4a9f9d95136745d383134b475c56dffd","datavalue":{"value":{"entity-type":"item","numeric-id":4739896,"id":"Q4739896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306641$BFF1C073-C080-4BAE-AB0C-56339C159CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e90a2582db98ff0343a0c220dfa994a35768c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4373014,"id":"Q4373014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306641$7D776E77-5D82-40B4-A0DF-C8B33F639FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76578b4dfa557ea0fc7d74b3ea4a8a7e7983e576","datavalue":{"value":{"entity-type":"item","numeric-id":2556390,"id":"Q2556390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306641$70B64348-36CC-4BC3-AE26-3C8C84818012","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f24e863c65682dd88da97c11ddf315fd19d80029","datavalue":{"value":"Q127300514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306641$95C32660-4662-426A-99FD-E19542BCEE36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"173a2ecdb17c32855b10c20d3e23812789009733","datavalue":{"value":"10.3390/AXIOMS8030103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306641$D629C6DD-CAA5-4BD3-A192-487C5B7E4B6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1c7ae52269e7c039c583e2c952d3f2098d852b","datavalue":{"value":{"entity-type":"item","numeric-id":4976996,"id":"Q4976996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3eb5acf311ec684539dbce27ca13e4fb12832a8","datavalue":{"value":{"amount":"+0.7620378136634827","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":"Q2306641$42BAC17C-A5C4-4785-8B8B-B41A93B62AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a771d7fa11555b859c57b51cda95e3f96bc6c0f","datavalue":{"value":{"entity-type":"item","numeric-id":3783290,"id":"Q3783290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b189fca97a4cfc92c4c9ad908e8615c8e536b24","datavalue":{"value":{"amount":"+0.7398796081542969","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":"Q2306641$4B0C8810-85B9-43DC-A4EE-4C3A6F1B7D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ddc10f1ec9cae220295b11a4611f83689494a9","datavalue":{"value":{"entity-type":"item","numeric-id":1935867,"id":"Q1935867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3ccf6b7ff1c95d1ebd69f8b6d60c2bdfe1997c","datavalue":{"value":{"amount":"+0.7098828554153442","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":"Q2306641$C3C345EA-3A90-4A88-9533-436B1EA31415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38b971268d9094466c682a9017b1474707d250f","datavalue":{"value":{"entity-type":"item","numeric-id":4289809,"id":"Q4289809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b463bee4d59277a0f7c56293f376e6b4363bb70e","datavalue":{"value":{"amount":"+0.7079670429229736","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":"Q2306641$3AC58F2B-DCFC-4E5B-8A9C-F4B02E45CB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c2aa2f4103b741ecf46d63120d10a0627c0381","datavalue":{"value":{"entity-type":"item","numeric-id":1565447,"id":"Q1565447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c252364657d8c2638ecdfa870d002b74b44b7d50","datavalue":{"value":{"amount":"+0.7063385248184204","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":"Q2306641$322863BC-D89F-4EF1-AC37-B6AA5AF733FA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306641$0F6A6232-BFDE-4771-8C52-50D51962F5E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2306641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2306641"}}}}}