{"entities":{"Q5961452":{"pageid":8138254,"ns":120,"title":"Item:Q5961452","lastrevid":46468155,"modified":"2025-12-24T20:42:26Z","type":"item","id":"Q5961452","labels":{"en":{"language":"en","value":"The definability of the set of natural numbers in the 1925 Principia Mathematica"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 980788"}},"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":"Q5961452$BD4BDC67-9782-4678-9CAE-4A50435EAB02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8444119b21e20608ac471571086afeb7e9f1e058","datavalue":{"value":{"text":"The definability of the set of natural numbers in the 1925 Principia Mathematica","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5961452$FEEF5D7E-EDD3-4AA5-B27F-00FD5AB9CFBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52f218c5f90269b1539c0401f3c7034f3fca0a7e","datavalue":{"value":"0874.01006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961452$E65D6D49-A32A-4378-8F4A-0F3B89A42F88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe14d9eddddc1b401de0c1b5f82d43b400f423b9","datavalue":{"value":"10.1007/BF00265255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961452$AE108524-D2D4-479D-9F31-B7599FDF8F10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ddef17c17e4a5c6e00782dcbb9f1fa9d4b487b0","datavalue":{"value":{"entity-type":"item","numeric-id":242522,"id":"Q242522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961452$1C87B6F3-41CA-42D2-8B32-C385CA469A99","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":"Q5961452$F57064EB-A95F-4024-A708-F64AA3E45ABD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da3c00e8d54852979d4f6ff4a8a5ca6a97c9d9f3","datavalue":{"value":{"time":"+1997-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5961452$E46A32C0-68D9-429C-8CF7-E217ED23FFD8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab3f85b08c48c8febf504b575f08e134eaceef41","datavalue":{"value":"In the 1925 edition of Principia Mathematica, Russell presented a `proof' that mathematical induction could be rectified for finite cardinals without the axiom of reducibility. Later, G\u00f6del found a flaw in Russell's argument, and Myhill arrived at a negative result. The author shows that, while G\u00f6del and Myhill were correct, Russell's result was not wrong as his 1925 Principia uses a different grammar from the original edition. The author presents a new proof to replace Russell's flawed one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961452$5D7B21F1-026C-478C-99EA-B30C638AE30E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1d18259eda2738de0461ceb414e405b880aec0a","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961452$F4306751-ECAA-4A53-8367-922EE60BAAB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961452$303CE98A-9645-4F46-A789-A5948F1BC103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961452$D2C30EEF-A7DE-4978-B5C5-B3D38761E272","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9aa9c7e0304fb7d18de0769072c2c8d88d66f38","datavalue":{"value":"980788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961452$66F3D0C0-3767-4B1D-82AC-D5A270A6A983","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558cc026717b74a2f4b9b24031b6e67c8b833f86","datavalue":{"value":"principia mathematica","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961452$3BDF9A2F-3669-413E-9853-624100FC391E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958fc0733e0a91bbd78f2cadc712e553cbe8252f","datavalue":{"value":"Russell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961452$48174498-AF06-4234-9750-6688EFFE60E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4282b5b6410186b7da0f96710e20658f12aa55f","datavalue":{"value":"G\u00f6del","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961452$25E90F75-9E90-4839-A8F6-A5DB50F68E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a920dd98a924b807ab36bd394fe8437071466ae3","datavalue":{"value":"Myhill","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961452$1BA2A0FE-169A-4654-B909-A6A57FC1670A","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":"Q5961452$55795512-94B0-418D-B46F-274BAE5A5971","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"049abaf49f5fd337a6bf3a46e4c8510a0094effc","datavalue":{"value":"https://doi.org/10.1007/bf00265255","type":"string"},"datatype":"url"},"type":"statement","id":"Q5961452$95A8AD45-C11E-4E67-9FEF-4E33AA18D0F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6b50efed731dc71aaae432f2d7ff16d0a8d5627","datavalue":{"value":"W2085438631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961452$AA9AC0B8-F877-4639-B93C-D8812CA44537","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add424b5fb4252367fb8ddba535c3d17f35ed52c","datavalue":{"value":{"entity-type":"item","numeric-id":5575526,"id":"Q5575526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1cb5a7672563804425a4dae588d162333e074b","datavalue":{"value":{"amount":"+0.7234398722648621","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":"Q5961452$783CB088-BB8A-4449-8911-7A0B73E9B070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0986dc3ac98c3ddff7a293791460e65454d01108","datavalue":{"value":{"entity-type":"item","numeric-id":4663849,"id":"Q4663849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50138ac256d7e1f68100176e8426aff03c809dfc","datavalue":{"value":{"amount":"+0.7232049703598022","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":"Q5961452$19B010EB-6786-429B-A297-490B3F835F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739b9bbdb375c07561156dd8fe83125346135d04","datavalue":{"value":{"entity-type":"item","numeric-id":385947,"id":"Q385947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f338458b76781c58555490272066c6609d14a1c9","datavalue":{"value":{"amount":"+0.7215683460235596","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":"Q5961452$18F3D985-8B04-4AC3-8276-4ABEB914BC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0deb3dd8274cb61200693eaba587e7cbb7ccc80","datavalue":{"value":{"entity-type":"item","numeric-id":5480313,"id":"Q5480313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa3af2181fa1d5bd6373fac17f49a92c47b0899","datavalue":{"value":{"amount":"+0.7192042469978333","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":"Q5961452$B0D9DC60-6909-4910-A93D-ACD0EC901D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c3a28ecd953cd559af193624cc38c7a08e6ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4394887,"id":"Q4394887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac85349e0d22fdd55d0e989473b043e6ac3ff3d","datavalue":{"value":{"amount":"+0.6973944902420044","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":"Q5961452$60F4403B-E3C8-4C61-B033-6FB9DEE81190","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5961452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5961452"}}}}}