{"entities":{"Q1440059":{"pageid":1450799,"ns":120,"title":"Item:Q1440059","lastrevid":68709639,"modified":"2026-04-13T01:34:55Z","type":"item","id":"Q1440059","labels":{"en":{"language":"en","value":"The axiomatization of set theory."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2575687"}},"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":"Q1440059$6B369584-99E6-4B94-ADED-BA42B7D83043","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da0b26a0aad3d7a5ac277bbd09c8b74e8598cb27","datavalue":{"value":{"text":"The axiomatization of set theory.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1440059$E32C683E-2335-4CBD-A2CF-689F8EFDC9EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6cd1cb9f29968a662b81bc75ac847ce4db9fe61","datavalue":{"value":"54.0088.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1440059$D42A5B8E-716D-4C2E-B88E-BE0CB1E1DB29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c33d90f4791bd466e48588d949b629d64c932a9b","datavalue":{"value":"10.1007/BF01171122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1440059$3CD763A7-9D48-4775-B51D-4D74E38E14B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1440059$424300E7-29A6-4512-97A1-BAB223B202A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cee67bf913068b532a11633afecd10dd06aeb073","datavalue":{"value":{"time":"+1928-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":"Q1440059$898EE644-9B65-48D3-8BB4-C20C540D2AD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d1ec3093d95a3b577956815aab6226a3f7d4298","datavalue":{"value":"https://eudml.org/doc/168000","type":"string"},"datatype":"url"},"type":"statement","id":"Q1440059$58607A7D-F734-48EC-973D-FD59F2D0986A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f7a6de72e70469afb53058ae00407b6da737db7","datavalue":{"value":"Verf. hat in [J. Reine Angew. Math. 154, 219--240 (1925); Berichtigung 155, 128 (1925; JFM 51.0163.04)] ein Axiomensystem f\u00fcr die allgemeine Mengenlehre angegeben und in grunds\u00e4tzlicher Richtung naher untersucht, das von den vorhandenen Axiomensystemen wesentlich abweicht. Aus diesem Axiomensystem die Hauptresultate der allgemeinen Mengenlehre wirklich herzuleiten, ist der Zweck der vorliegenden Arbeit.  Im ersten Kapitel werden die Axiome formuliert und ihrer Bedeutung nach analysiert. Auf eine sorgf\u00e4ltige, verh\u00e4ltnism\u00e4\u00dfig tiefliegende Herleitung der grundlegenden Operationen und Begriffsbildungen in den Kapiteln II und III folgt eine Theorie der Ordnung und der Wohlordnung sowie die Einf\u00fchrung der -- hier als Haupthilfsmittel der allgemeinen Mengenlehre erscheinenden -- Ordnungszahlen als gewisser spezieller Mengen; deren Existenz ist gesichert durch ein sehr kr\u00e4ftiges Axiom (IV 2), welches in der \u00fcblichen Ausdrucksweise die Axiome der Aussonderung, der Auswahl und der Ersetzung in sich vereint. Das folgende Kap. VI benutzt die hergeleiteten Ergebnisse zu einem Beweis des Wohlordnungssatzes, der von den \u00fcblichen v\u00f6llig abweicht und sich ganz auf die Eigenart des Axiomensystems gr\u00fcndet.  Erst jetzt folgen in den Kapiteln VII und VIII die Theorien der \u00c4quivalenz und speziell der endlichen Mengen; die finite Induktion wird nicht vorausgesetzt, sondern auf Grund der Axiomatik eingef\u00fchrt. Diese von der \u00fcblichen Art abweichende Voranstellung der \u00c4hnlichkeit vor die \u00c4quivalenz bietet u. a. den Vorteil, die Theorie der \u00c4quivalenz ohne Unterbrechung durch den Wohlordnungssatz in einem Zug durchzuf\u00fchren. Der \u00c4quivalenzsatz ergibt sich hierbei als Folge eines Theorems \u00fcber Ordnungszahlen.  Den Schlu\u00df macht ein der transfiniten Induktion gewidmetes Kapitel, das auch den Spezialfall der gew\u00f6hnlichen Induktion behandelt. Es handelt sich wesentlich um die Definition durch Induktion, deren Durchf\u00fchrung auf axiomatischer Grundlage ein ganz neues Problem ist, die aber auch vom naiven Standpunkt aus einer (ihr bisher im wesentlichen fehlenden) exakten Begr\u00fcndung bedarf (vom Verf. schon gegeben in [Acta Szeged 1, 199--208, (1923; JFM 49.0139.02)]).   Diese neuartige Axiomatisierung der Mengenlehre bietet, so ungewohnt sie auch zun\u00e4chst anmutet, u. a. den gerade vom naiven Gesichtspunkt aus bedeutsamen Vorteil, da\u00df\\ der Proze\u00df\\ der Mengenbildung nicht mehr durch willk\u00fcrliche Prizipien sondern sozusagen naturgem\u00e4\u00df\\ (n\u00e4mlich so wenig als m\u00f6glich) eingeschr\u00e4nkt wird: (I 2.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1440059$BFF752E5-9C2D-4212-9F10-4B42BAB46D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1440059$AC90ACAA-A008-4FBD-8699-F670C510132B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d74514ea611066c7305a719fb2d5fa390b27f8a3","datavalue":{"value":"2575687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1440059$35307A7A-120F-4605-BAFF-7C05F02DA37D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee96420e31a33f0741706c7430f3e2da6e67cbdc","datavalue":{"value":{"entity-type":"item","numeric-id":564712,"id":"Q564712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1440059$AD767975-1D99-42C7-9178-D9F11A78EFBC","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":"Q1440059$4659D96D-FAFC-492D-9DAE-51C697924292","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c57a9aa411bd8e30bbc42565eefeae9eacc08518","datavalue":{"value":"Q55878599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1440059$52357D08-709A-453C-A7FA-81BE9E3FCFEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The axiomatization of set theory.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_axiomatization_of_set_theory."}}}}}