{"entities":{"Q768277":{"pageid":770126,"ns":120,"title":"Item:Q768277","lastrevid":64183557,"modified":"2026-04-11T18:11:24Z","type":"item","id":"Q768277","labels":{"en":{"language":"en","value":"Axiomatics of set theory without element relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3124830"}},"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":"Q768277$EF73524B-C609-4C65-B013-EBB823CF8B17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"252b87e43c7228a4551f061bc9922a915643466d","datavalue":{"value":{"text":"Axiomatics of set theory without element relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q768277$29F3DB23-616A-4D01-92F8-67EA1EB4C36C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d8aa3673619d3ba21986da56d8953b82105215e","datavalue":{"value":"0075.00902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q768277$8EF713CC-030E-44E4-8958-5B2EB0BA2BF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae25bb2faa9402632c68cf54dc0b62963349e3df","datavalue":{"value":"10.1007/BF01350099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q768277$D94086B1-2400-46C4-A9CE-FB5965AD881A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f60470998944ad050982f0d934206ad77280a0b9","datavalue":{"value":{"entity-type":"item","numeric-id":768276,"id":"Q768276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q768277$299F4BE8-ABA1-40C6-8EAD-F5E041A4B0CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q768277$F8243321-A7CB-4635-A4D3-3359E2CCB90F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fdeec1d184478b3fdb458fc97fe9e12c6f6e278","datavalue":{"value":{"time":"+1956-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":"Q768277$FF444603-62B3-41A0-8360-1832B771B6B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af5797ca11eb0d9417eeeb876f2c7ecccbf93011","datavalue":{"value":"https://eudml.org/doc/160500","type":"string"},"datatype":"url"},"type":"statement","id":"Q768277$0793587A-6F6E-4D49-AD76-C06B9DC338BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75641628d6dfb5d16ef54f381d8e2f0993689be4","datavalue":{"value":"The author proposes an axiomatization of set theory based upon the inclusion relation. There are two sorts of variables, one for sets and one for functions. In addition to inclusion, there is only one other primitive predicate, a six-place predicate \\(W(a,b,c,d,g,e)\\) with the intuitive meaning that the function \\(\\varphi\\) is applicable to the quadruple \\((a,b,c,d)\\) and yields the value \\(e\\). On the basis of thirteen axioms, the author begins the development of standard set-theoretic operations and results, reaching the theory of equivalence (one-one correspondences, equinumerous sets, etc.). The given system is shown to be imbeddable in a form of Zermelo-Fraenkel set theory, but the exact relation between the two theories is not made clear (the author claims that the membership relation is not definable in his system). The set theory based upon the given system seems extremely complicated and unwieldy, as compared to the standard systems using the membership relation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q768277$64B36C52-B428-44DB-B57C-94C637579BD2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26f302fffad60805a47395a27a6584ad8a15a6e0","datavalue":{"value":{"entity-type":"item","numeric-id":587231,"id":"Q587231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q768277$17743C48-4D95-474F-A97C-0FA059679335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q768277$75B86541-D4BF-4402-B2AA-515C065D8C54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"389481e3eb808b46412f2f45ef1871b3bef573ff","datavalue":{"value":"3124830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q768277$1BE99470-C9D3-4D11-936F-2845C11284D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebc26a37a5122ed557a70f7d9c6e2b432ccc5df","datavalue":{"value":"mathematical logic and foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q768277$3FEAE369-F336-4EF8-AE98-5C32890A1E60","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":"Q768277$FD6BEB31-3E8E-4175-AEA6-E6FB72172EA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b77473ed8f9479f3956aa701e79031ec7a6ec40","datavalue":{"value":{"entity-type":"item","numeric-id":5770887,"id":"Q5770887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q768277$11BE4714-9FF4-4F4F-B7BD-E4F04B8FA5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc888a076de43aba6ae566aed76169c6ee4074b","datavalue":{"value":{"entity-type":"item","numeric-id":5789040,"id":"Q5789040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q768277$EDFA2019-7F61-450D-A0D7-DE05442FB1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfaaadd096e976db72a349c70f995692087edbb9","datavalue":{"value":{"entity-type":"item","numeric-id":4334418,"id":"Q4334418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q768277$4FF613EA-5311-4CD5-B425-F1FB29E57BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa64b7933b9387d8d92629023a8cb130555d83db","datavalue":{"value":{"entity-type":"item","numeric-id":5767692,"id":"Q5767692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q768277$CF08A04A-4B96-4704-A593-B57FD090F4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51e5476cd71e3b5d8ec59cd0216a4ee050cbddc","datavalue":{"value":{"entity-type":"item","numeric-id":4333673,"id":"Q4333673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q768277$F6C3B9F3-D225-451F-9BF1-99128914ED0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7263658004d8cbfea71071d0f359c6b2a137b0c","datavalue":{"value":{"entity-type":"item","numeric-id":4756727,"id":"Q4756727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q768277$DCC28869-B54A-4245-88A3-523B525E7A21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49a634a68d0374b498a4c5895bce48390a3c5a7","datavalue":{"value":{"entity-type":"item","numeric-id":4392265,"id":"Q4392265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f5bbc8db6dbb33b101412459abf09897abd2aa","datavalue":{"value":{"amount":"+0.724052369594574","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":"Q768277$10040679-F6B7-4ED1-B135-6F972FB4A235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1ff5e73e1c921e39dff61455385cbb64d19e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4712181,"id":"Q4712181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ba80e839d67b056f278015ba2aff8c308e11af","datavalue":{"value":{"amount":"+0.7192493677139282","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":"Q768277$7041B732-F5D6-4AD1-ABE4-4C7041172DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629f5f1b325722133c170bbd503fef35c917fedd","datavalue":{"value":{"entity-type":"item","numeric-id":4873838,"id":"Q4873838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113390f95716fa6bc0c8284d91b5a48984d0da8f","datavalue":{"value":{"amount":"+0.7098639607429504","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":"Q768277$D606E5B0-423A-4752-B4B2-8063D80F62EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df0a0da5efd37edddf6ff2fd8bc220b57088f32","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37182fa119e933af6362497b910ab8fea3b5d085","datavalue":{"value":{"amount":"+0.6967909336090088","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":"Q768277$B4615804-1D63-4EC1-96F0-68AFC3F6919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af385379e48b5c3d852a852452a6f75124345c7","datavalue":{"value":{"entity-type":"item","numeric-id":4870556,"id":"Q4870556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cac1a710d30cb81aa5538c8dfd5c793505f5847","datavalue":{"value":{"amount":"+0.688323438167572","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":"Q768277$A5C06C69-ADE9-433C-B736-F4E1A79EEA2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatics of set theory without element relation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatics_of_set_theory_without_element_relation"}}}}}