{"entities":{"Q2601646":{"pageid":2612389,"ns":120,"title":"Item:Q2601646","lastrevid":44447307,"modified":"2025-11-23T00:18:35Z","type":"item","id":"Q2601646","labels":{"en":{"language":"en","value":"A system of axiomatic set theory. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2519809"}},"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":"Q2601646$404470EE-D8CF-4D94-9BD3-F8989EB8891B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ed87cfbbeb6ed188860b1f4fff9b69e00a44911","datavalue":{"value":{"text":"A system of axiomatic set theory. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2601646$49C2836F-74AA-4E8E-A240-5A72D7B90927","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce4da3d9f3a2e080cb0f145842aa503488fd782d","datavalue":{"value":"63.0028.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601646$6BBA12D3-58AF-4783-BED1-447702B557D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-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":"Q2601646$5E9CD924-7ED2-41E9-B4B2-0909221AE46A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5c8073ed5b6c27a0065d6d731126553afaff973","datavalue":{"value":"Verf. gibt im vorliegenden Aufsatz die Prinzipien einer axiomatischen Mengenlehre, die eine solche Modifikation des \\textit{v. Neumann}schen Systems ist, da\u00df man der urspr\u00fcnglichen Axiomatik von \\textit{Zermelo} n\u00e4her kommt. Verf. bemerkt, da\u00df die ganze Theorie formalisiert werden kann mit Hilfe des logischen Kalk\u00fcls erster Stufe (Pr\u00e4dikatenkalk\u00fcl).  Grundbegriffe sind ``Menge'', ``Klasse'' und zwei Beziehungen ``Element von'', n\u00e4mlich \\(\\varepsilon\\) zwischen zwei Mengen und \\(\\eta\\) zwischen einer Menge und einer Klasse. Eine Klasse ist nie Element. Die Identit\u00e4t wird nicht als primitives Pr\u00e4dikat angesehen.  Die Axiome sind in drei Gruppen verteilt. Die der ersten Gruppe besagen, da\u00df Mengen und Klassen durch ihre Elemente bestimmt sind. Die Axiome der zweiten Gruppe dienen zu direkter Mengenbildung; die der dritten Gruppe dienen zur Bildung von Klassen. In den letzten Axiomen spielt der Begriff des geordneten Paares \\(\\langle a, b \\rangle\\) eine wichtige Rolle. Verf. definiert \\(\\langle a, b \\rangle\\) als die Menge \\(((a), (a, b))\\). Allgemeiner definiert er den Begriff des normalen \\(n\\)-tupels.  Unter einem konstitutiven Ausdruck versteht Verf. jeden Ausdruck, der von den Aussagenfunktionen \\(a\\varepsilon b\\), \\(a=b\\), \\(a \\eta B\\) aus mittels der f\u00fcnf Operationen des Pr\u00e4dikatenkalk\u00fcls abgeleitet werden kann, wobei die Quantoren nur auf Mengenvariablen angewandt werden. Einige Variablen k\u00f6nnen Parameter darstellen, die anderen Argumente. -- Der letzte Teil des Aufsatzes enth\u00e4lt den Beweis daf\u00fcr, da\u00df, wenn \\(\\mathfrak{P}(\\mathfrak{v}_1, \\ldots \\!, \\mathfrak{v}_k)\\) ein konstitutiver Ausdruck ist mit den Argumenten \\(\\mathfrak{v}_1), \\ldots \\!, \\mathfrak{v}_k\\), bei beliebigen Parameterwerten eine Klasse \\(C\\) von \\(k\\)-tupeln existiert derart, da\u00df dann und nur dann \\((\\mathfrak{v}_1, \\ldots \\!, \\mathfrak{v}_k) \\eta C\\) stattfindet, wenn \\(\\mathfrak{P}(\\mathfrak{v}_1, \\ldots \\!, \\mathfrak{v}_k)\\) gilt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2601646$9075D7B4-7726-4704-BE11-3AE20FC3E0E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601646$8B41D0C1-473E-43A8-A795-6FE200ED4FAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc93f57c978180d6136803a7a539f09f427193ca","datavalue":{"value":"2519809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601646$AF0A6BB3-7EB2-49F9-A52B-E5BC636663D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7bded477e59b3cb6b643bdf452478a61dadd136","datavalue":{"value":{"entity-type":"item","numeric-id":766898,"id":"Q766898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601646$9A9EEC6C-E958-4317-ABAD-AD4D8708A416","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":"Q2601646$E99485B9-44F2-4B00-BCBB-2A7DE26706E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601646$EFB934E0-B4C6-4499-9653-DA165F0C377D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2601646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2601646"}}}}}