Diskussion:Zermelo-Mengenlehre

Hinzufügen des Fundierungsaxioms

Unter Zermelo-Fraenkel-Mengenlehre heißt es, dass das Fundierungsaxiom 1922 von Abraham Fraenkel hinzugefügt wurde. Hier in diesem Artikel steht allerdings, dass Ernst Zermelo im Jahr 1930 die Zermelo-Mengenlehre um das Fundierungsaxiom ergänzte. Was stimmt denn nun? Oder ist die Formulierung nur missverständlich gewählt und beides ist irgendwie richtig (d.h. Fraenkel hat 1922 das Fundierungsaxiom hinzugefügt, aber das wurde quasi erst 1930 von Zermelo "offiziell" anerkannt oder sowas in der Art)? -- 84.150.255.135 15:50, 9. Mär. 2007 (CET)

Der Punkt wurde im Artikel "Zermelo-Fraenkel-Mengenlehre" von jemand geändert mit einer Angabe einer Sekundärliteratur, die ich noch nicht überprüft habe. Bei Fraenkel ist mir das Fundierungsaxiom nicht begegnet. Nach meinem vorläufigen Wissen stimmt Zermelo 1930; hier ist die Primärliteratur angegeben. Ich werde die Sache bei Gelegenheit überprüfen. Auf jeden Fall ist die Korrektur jetzt nicht ganz stimmig, weil man jetzt auch meinen könnte, der Name ZF stammt von Fraenkel, was wohl auch nicht stimmt, weil hier der Zermelo-Aufsatz von 1930 erst die Terminologie einführt. Man sieht schon äußerlich daran, dass Skolem bei seiner Formalisierung 1929 das Fundierungsaxiom und den Namen ZF noch nicht nannte und kannte, dass 1930 wahrscheinlich richtig ist.--Wilfried Neumaier 07:35, 12. Mär. 2007 (CET). Ich habe heute die Quellen nachgeprüft: 1930 Zermelo ist die Urquelle.--Wilfried Neumaier 21:51, 10. Apr. 2007 (CEST) Inzwischen gibt es einen extra Artikel Fundierungsaxiom, dort ist auch das Fundierungsaxiom von Neumann von 1929 erwähnt.--Wilfried Neumaier 20:51, 13. Jan. 2008 (CET). Ebenso ist dort die Vorgeschichte zum Fundierungsaxiom erwähnt, bei der Fraenkel eine Rolle spielt.--Wilfried Neumaier 11:33, 18. Jun. 2010 (CEST)

Im Artikel sind am Ende sieben Axiome mit Namen angeführt. Es wäre m. E. erwünschr, wenn auch der Inhalt dieser Axiome angegeben würde; und zwar möglichst in Worten, nicht in Formelsprache. Ich bin leider nicht imstande, das selbst zu tun. --Hanfried.lenz 18:58, 4. Sep. 2007 (CEST). Den Wunsch habe ich eben erfüllt.--Wilfried Neumaier 19:16, 17. Okt. 2007 (CEST)

Verlinkung "definit"

Diese Verlinkung ist unsinnig und sollte entfent werden. Ich möchte aber nicht in dem Beitrag herumpfuschen. --Awaler 22:45, 13. Feb. 2008 (CET) erledigtErledigt--Wilfried Neumaier 09:07, 14. Feb. 2008 (CET)