{"entities":{"Q2422536":{"pageid":2433279,"ns":120,"title":"Item:Q2422536","lastrevid":56827794,"modified":"2026-03-23T17:22:56Z","type":"item","id":"Q2422536","labels":{"en":{"language":"en","value":"Potential infinity, abstraction principles and arithmetic (Le\u015bniewski style)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7068305"}},"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":"Q2422536$690913B0-E10A-4B1D-ADD7-B3F11BB0068D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88e8bc1fd5095b2034eec56bce30e94a838ae868","datavalue":{"value":{"text":"Potential infinity, abstraction principles and arithmetic (Le\u015bniewski style)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2422536$F5A803C6-B0B4-4C97-99E1-A8CEB50DA25F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f53317760d808a35e6eb9048285e7f6f4d23746f","datavalue":{"value":"1415.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422536$A5C36F13-4FD8-4D47-9D46-C1A85915DBB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47b5d96e9cc5640a5ea71f333ff022c2d4e7700c","datavalue":{"value":{"entity-type":"item","numeric-id":301343,"id":"Q301343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$9D4FA4A2-F66A-4821-BC64-4DFE4C68B3E2","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":"Q2422536$5942257F-EC7B-45AC-8C6D-E665CA2D7D4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551e0aff091d2cc15feadd585ec6425ee05025eb","datavalue":{"value":{"time":"+2019-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2422536$245BCBDD-DE09-4D6B-875C-7D1303368678","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d356364f85cd163a646f05d7d65e5b8ef4996230","datavalue":{"value":"Summary: This paper starts with an explanation of how the logicist research program can be approached within the framework of Le\u015bniewski's systems. One nice feature of the system is that Hume's Principle is derivable in it from an explicit definition of natural numbers. I generalize this result to show that all predicative abstraction principles corresponding to second-level relations, which are provably equivalence relations, are provable. However, the system fails, despite being much neater than the construction of \\textit{Principia Mathematica} (PM). One of the key reasons is that, just as in the case of the system of PM, without the assumption that infinitely many objects exist, (renderings of) most of the standard axioms of Peano Arithmetic are not derivable in the system. I prove that introducing modal quantifiers meant to capture the intuitions behind potential infinity results in the (renderings of) axioms of Peano Arithmetic (PA) being valid in all relational models (i.e. Kripke-style models, to be defined later on) of the extended language. The second, historical part of the paper contains a user-friendly description of Le\u015bniewski's own arithmetic and a brief investigation into its properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422536$7B42AE98-A403-46D0-B482-41D48255FA2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422536$9A678150-0C5F-4A9B-A3E2-15E075893BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422536$542D5B6A-1C1E-407C-A1A3-6A86E91289DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422536$E2ADE097-AB1F-42F3-86FB-B13456CFA9EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a96f2610c98cb60496e1d0880b24ad066fa45934","datavalue":{"value":"7068305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422536$39BBEDFF-0E96-440E-89FE-D74152E18FE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422536$FBEC110A-FF0D-4FBE-8B82-10496EF616AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dee69a877defbce2d70e895c84f4b7752c538ca","datavalue":{"value":"potential infinity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422536$CB109A18-0199-4B18-AC73-A094197122AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422536$F6DE2D28-D768-4F24-9C1D-F7FAF1BE702D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b5c2f998b798c1ac37e1283332e4d6bd6544820","datavalue":{"value":"Le\u015bniewski's systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422536$01D4CA7A-58B6-4EA5-AA10-DE57AA5AFE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260631c11c3b9b61b5108f819c21d2bd526337e7","datavalue":{"value":"Le\u015bniewski's ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422536$9A12C48A-F5B4-4504-A9F3-BE45F75283EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08b911aec89add357c4e5870657c5ab0e3838237","datavalue":{"value":"neologicism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422536$7D73CE46-CB43-44CC-90E2-2E83517750E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92732d32532c289c14a6980095672fd94b8ffb3","datavalue":{"value":"abstraction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422536$6D8A9852-4414-44F1-81FD-F970C224FB7F","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":"Q2422536$708B5EF1-43F6-4005-9940-CC9F81DC5C41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"560f3843d6b96ca2f8a285fefa40e4214b073f45","datavalue":{"value":"https://doi.org/10.3390/axioms5020018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2422536$51E89C32-34DB-4A42-A385-FE90DDE52B77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ab6bb2bc2fd19f443c08ca7558cd8e5d54a90f3","datavalue":{"value":"W2434000794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422536$274A5E77-2665-4669-90B4-4F2C144B8C67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e25b3c183fc1184680a195893ba93cde87ed43","datavalue":{"value":{"entity-type":"item","numeric-id":1955687,"id":"Q1955687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$50CDABA7-B9EC-4997-A2F1-52D7C20FB52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6de4b8816c128fa92a2afca56af72a4c74c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":5296761,"id":"Q5296761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$CBA469A6-03D9-461C-8C0C-A1CF9F2BBE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4606ba75ef830523b884cf9fc0836eb6607e1fb2","datavalue":{"value":{"entity-type":"item","numeric-id":4983316,"id":"Q4983316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$F630B56E-55D8-413E-AAED-62C2245A97E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3e048ae94bfe0e33fd2240af7e90a758f0d4f2","datavalue":{"value":{"entity-type":"item","numeric-id":4630764,"id":"Q4630764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$B369CA12-FF13-44C2-BC27-DD800F31DCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1a5bd74e12ced16311e1fb69b12279647e59b5","datavalue":{"value":{"entity-type":"item","numeric-id":4040321,"id":"Q4040321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$ED4B30AB-B27F-4152-8BF6-D4A462FC4D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7004c2dfe2eea7ffccb43aed8eec602796dbea2","datavalue":{"value":{"entity-type":"item","numeric-id":4539489,"id":"Q4539489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$FFEB3DBA-65CC-4F99-ABD3-9093243769A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0446100a1e85ad15665e9f29562ccbe4846df4a","datavalue":{"value":{"entity-type":"item","numeric-id":3037386,"id":"Q3037386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$76707901-98D4-48FD-89AE-A0820D148C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfa4f6faf0ef7b57e402c20142139e0a29c6538","datavalue":{"value":{"entity-type":"item","numeric-id":4793814,"id":"Q4793814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$915FBFC1-E077-4A63-A84F-E9BBB3FE193E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363b91c9ac0260216c3cb055f9aaafe1faef2b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3404016,"id":"Q3404016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$B9E540FE-2D36-4298-8266-46BA26E30CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9993da3ca6af6a79d804fb2ecec681a6bde6a14","datavalue":{"value":{"entity-type":"item","numeric-id":4266051,"id":"Q4266051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$3250FA88-E4C8-4C9B-970D-52A251086E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a50ac2792d2d48298c716447ab63f0a58cc6d7","datavalue":{"value":{"entity-type":"item","numeric-id":3404017,"id":"Q3404017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$9EE1C2CC-C2CD-45F4-B2CF-BC956B1192B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36235f4160d2e1abb3b1bc99328f03c55d40bac6","datavalue":{"value":{"entity-type":"item","numeric-id":3404013,"id":"Q3404013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$4E5875F1-D0FE-4CD3-A537-5C4ACB54325D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1893bed1b8f5b9818116bf7013487f3e82f3a8a6","datavalue":{"value":{"entity-type":"item","numeric-id":4983368,"id":"Q4983368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$A2FDB35D-9B93-44D0-AE27-3E833B93977F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1da54578175ada433c266a45a654b6bb90e94ca","datavalue":{"value":{"entity-type":"item","numeric-id":4811783,"id":"Q4811783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$B6120792-98BC-4114-AFE2-72856DF4566D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc7fe837194171e4d72f305ba2477705e27f0de","datavalue":{"value":{"entity-type":"item","numeric-id":484965,"id":"Q484965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$3A9312FC-5400-4D09-AD2C-668AEDC4F71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0789147cb8cdb5d8c3c3bb70c9cf6cbaeb58318d","datavalue":{"value":{"entity-type":"item","numeric-id":488334,"id":"Q488334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$5DF58036-0F10-42B1-AF9B-9AAAE3F5B005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c09735a9d4ecf3c15c52f25c89b4e65e7dbd4ef","datavalue":{"value":{"entity-type":"item","numeric-id":2765574,"id":"Q2765574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422536$81677FA5-6E20-4D3B-8BBD-CD045390138C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0431e8675427f8410586b6ee32743c4b70067f08","datavalue":{"value":"10.3390/AXIOMS5020018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422536$C3548941-0BDD-4FA0-8AF4-683B3007D78A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b35cf32b6338bb2b0e2ea9f9515b527d7aa30e","datavalue":{"value":{"entity-type":"item","numeric-id":4811783,"id":"Q4811783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bebb68d46e7888e1eb9842d7e4b2377faa4845a","datavalue":{"value":{"amount":"+0.7893101572990417","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":"Q2422536$FA052191-7749-4B2C-9DA6-4EE0A6BCC03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8301c7415d86ca835e5d478d3ba33f92a845dc12","datavalue":{"value":{"entity-type":"item","numeric-id":3404017,"id":"Q3404017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d40cb5c432f4464717260fd42cde6085d7e02ab","datavalue":{"value":{"amount":"+0.745159924030304","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":"Q2422536$106395BF-4501-4536-8C85-B9D44C79AD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46c752c4b4b084e4fa5e5621d09c4fcd5a936d0","datavalue":{"value":{"entity-type":"item","numeric-id":5116392,"id":"Q5116392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe3e60c21c4130249cf8543457cef7f095aff0b","datavalue":{"value":{"amount":"+0.7416760921478271","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":"Q2422536$46109F1A-77EC-4E87-9DFB-B83B0B1F0034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5e0e11be6a4698940a7a5c6c1e50a4f5e5032b","datavalue":{"value":{"entity-type":"item","numeric-id":3526580,"id":"Q3526580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5be7dd3940092d427c6dd8f84a6cd9b3fa5af3a","datavalue":{"value":{"amount":"+0.7270795702934265","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":"Q2422536$1B8580F8-3577-4C4F-B917-5446EC83B79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c12f24cae374bec28901233d4f66c68b1868f86f","datavalue":{"value":{"entity-type":"item","numeric-id":4428871,"id":"Q4428871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0255bc7d12f6eb3ec69481491e1cb04fde8719","datavalue":{"value":{"amount":"+0.7261868119239807","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":"Q2422536$AF9A2FF9-DC28-4B78-94F7-DF43C3A8E074","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":"Q2422536$5C0A6ED4-8B99-4799-816F-9E1183E5D3CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2422536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2422536"}}}}}