Ich hab mal versucht alle Axiome englischen Pendants zuzuordnen, hat nicht ganz geklappt: Fundierung = regularity Extensionalität = extensionality Auswahl = choice Paarmenge = pairing Vereinigung = union Unendlichkeit = inifinity Potenzmenge = power set Faktisch haben wir erstmal 10 Axiome, wobei auch beim 10ten (Auswahlaxiom) eingräumt wird, dass es äquivalent zum Wohlordnungssatz ist (engl. en:Well-ordering theorem). Aber das Well-ordering theorem wird im engl. als 9tes (und letztes) Axiom gesehn ... obwohl auch dort das äquivalente Auswahlaxiom genannt wird. Weiterhin fehlen mir die entsprechenden Begriffe zu Aussonderungsaxiom und Ersetzungsaxiom, für die eigt. nur noch en:Axiom schema of replacement und en:Axiom schema of specification übrig bleiben .... damit wäre die englische Seite dann geklärt und die haben bei nur 9 Axiomen sogar noch ein doppelt - wir hingegen haben 10. z.B. konnte ich das Leermengenaxiom gar nicht im engl. wiederfinden ... Für jedes Axiom im Deutschen wurde nun eine Weiterleitung eingerichtet, sofern es noch keinen Artikel gibt, d.h. wenn jemand den Rest zuordnen kann, dürfen gerne im Englischen den Artikel dort die redirects als interwikis angegeben werden, damit schon mal die Begrifflickeiten klarer werden, denn die formale Ordnung der Axiome stimmt auch nicht überein. Grüße -- WissensDürster 12:08, 2. Aug. 2009 (CEST)