{"entities":{"Q1972505":{"pageid":1983247,"ns":120,"title":"Item:Q1972505","lastrevid":78063548,"modified":"2026-05-06T10:41:56Z","type":"item","id":"Q1972505","labels":{"en":{"language":"en","value":"Real set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1429541"}},"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":"Q1972505$444CBE6C-5AAA-4AFA-9437-829ACA6D6DE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"148848a85456021c35d9bf5de088fb54bd638d52","datavalue":{"value":{"text":"Real set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972505$AB8BD4F8-65BC-4B7D-B315-14B0E24D341E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd2fdceb980c847ffc2dd4b4afb84615cfb88207","datavalue":{"value":"0947.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972505$E7220B3F-AA10-4FFA-889B-A68C50DB8C7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29b657a0b0a624f79be7f2b7d56ff471e3c6c1d3","datavalue":{"value":"10.1016/S0898-1221(99)00247-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972505$247B020E-2C1E-4B3C-818B-0883C6459C04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe22d1cbfd96c136ad764c9f81468af04e17f806","datavalue":{"value":{"entity-type":"item","numeric-id":202734,"id":"Q202734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972505$EE45C210-81F5-43F8-AEB2-FC06369D839E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32314d1218b19a179f9499bb4fad97ebf9884422","datavalue":{"value":{"time":"+2000-05-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":"Q1972505$640C8CC1-FEFA-4DA9-88A7-4E4F02AB884D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ba4038c14274d744816477969ce972ab3eeb0d4","datavalue":{"value":"The author defines a ternary Ackermann-like arithmetic function on the natural numbers and declares it to be valid for cardinal numbers. Transforming his declaration into an axiom (the Axiom of Monotonicity), he arrives at an extension of ZF that he calls Real Set Theory (RST). No consideration is given to the consistency of RST. It is claimed that the GCH is a theorem of RST and hence so is AC. Evidently feeling the need to extend the underlying logical basis for ZF, the author goes on to add three new derivation rules to the predicate calculus, arriving at the \\textit{Enhanced Predicate Calculus}. For example, his \\textit{Contradiction Rule} says that any formula leading to a contradiction cannot be derived. Using his derivation rules the author claims that he can prove ``first and second incompleteness theorems'' for RST without using any metalanguage. Why these results are labelled ``incompleteness theorems'' is difficult to discern.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972505$9E76D78A-6BDF-4B8F-9132-F71F04F83C16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972505$ACF0C5D2-EEB8-4204-B857-C0464B2B1258","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e97588b020786130509f9c4744baa32e93c4dac9","datavalue":{"value":"1429541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972505$99274F12-EC64-444E-A008-379B0D6DD39F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972505$DE166935-D097-4C85-B0C4-1F2FBD218E54","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":"Q1972505$B2198034-F768-4F1A-AD74-783A05F0C899","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5205b7fd4e3b8c128d9f6a07540b02f81f09824f","datavalue":{"value":{"entity-type":"item","numeric-id":5520626,"id":"Q5520626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972505$4E76032D-74DC-4E3D-9006-FEBBB6B3093A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9308fab501564d5b9dc22f916e151cdb51355ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1908981,"id":"Q1908981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972505$D3A8A4E7-1DDA-4713-B72E-4DA861CB6072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ae26ab265396adac5f9d2c98f1d4171c5e3b79","datavalue":{"value":{"entity-type":"item","numeric-id":1963096,"id":"Q1963096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972505$4B80E785-E1F6-45C6-8423-FEB4E4A6F192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972505$928F0B4A-8A14-485E-AA8D-353A13E68743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7be2cf5875953083e9d0d9a8992542864d9b9b2","datavalue":{"value":{"entity-type":"item","numeric-id":1816681,"id":"Q1816681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972505$95400E08-8D87-4400-803C-1A5F6F1FBF0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5cb1f7e75c52e684cd6a6e79dc2ff01bd2e40ce","datavalue":{"value":"https://doi.org/10.1016/s0898-1221(99)00247-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1972505$22CCBE5F-37E5-40BE-97E2-69C372EF6EC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49ad8edb41181edf9e1fa6c0ad5595af08329be7","datavalue":{"value":"W2075566438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972505$1328BE50-8BBC-429A-93B9-CAC6754D06DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972505$89D0F9A2-E3FE-47A5-B3BA-D39B3C890162","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8349d54365dca68f373ca1f3f062662a8ebff3a5","datavalue":{"value":{"entity-type":"item","numeric-id":3754613,"id":"Q3754613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eca7a43b919aa8c108eeebb150f149e9e3d8557","datavalue":{"value":{"amount":"+0.7311397790908813","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":"Q1972505$6B674D84-07B5-4357-B495-D047721C3A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03ab3463061ef3f574773eee60c97e6dfc4774d","datavalue":{"value":{"entity-type":"item","numeric-id":5477991,"id":"Q5477991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e40263dd3ebe3d78f7d9fd0b75fb485a965a62c","datavalue":{"value":{"amount":"+0.7271685600280762","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":"Q1972505$EE197CDE-D14D-4304-B41C-D6877D83B919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d926821e6b12c74a6d1e860a5c3abcdf1e2acc48","datavalue":{"value":{"entity-type":"item","numeric-id":4319674,"id":"Q4319674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c963eee00403634d82db7db5837da5ab79efa9b","datavalue":{"value":{"amount":"+0.7230305075645447","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":"Q1972505$9554C8D7-3677-4595-B620-A5189DF5E8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e284774f9e0e975d082adf99f65628d86635804","datavalue":{"value":{"entity-type":"item","numeric-id":762482,"id":"Q762482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61841400db23594ad5c2487918950c1cb804cc28","datavalue":{"value":{"amount":"+0.7114688754081726","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":"Q1972505$B672C1E7-12EC-40DD-830F-896ED0C700AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5405dd9f80e44aafffe94813f35ae0f27cb6b1","datavalue":{"value":{"entity-type":"item","numeric-id":3237140,"id":"Q3237140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b598016c0fff40020161ca33f536e6f63ee182","datavalue":{"value":{"amount":"+0.704701840877533","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":"Q1972505$8FA76743-30BE-499A-A717-410B15D177FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Real set theory","badges":[]}}}}}