Was genau meinst Du mit zwei Interpretationen? Eigentlich ist doch der Abschnitt Die Axiome von ZF und ZFC doch recht verständlich, oder nicht? Ich halte es aber für unabdingbar, eine/die exakte prädikatenlogische Formulierung in den Mittelpunkt zu stellen. Es geht ja schließlich um ZFC als eine logische Theorie (deshalb auch axiomatische Mengenlehre in der Einleitung), und da ist die Bedeutung/Interpretation zwar nicht unwichtig aber doch sekundär. Wie wär's denn damit: Man könnte jedem Axiom(enschema) einen eigenen Artikel verpassen (Auswahlaxiom und Fundierungsaxiom gibt es ja schon, so eine schicke Navigationsleiste haben wir auch). Dann könnte man den Teil im ZFC-Artikel rudimentär halten und sich nur auf die Formalisierung + einen erklärenden Satz beschränken und so den Artikel übersichtlich halten. In den jeweiligen Einzelartikeln hätten dann auch (oben geforderte, wie auch immer geartete) Beispiele und vielleicht historische Anmerkungen Platz. Wär zwar ein bisschen Arbeit, aber... Was meint Ihr? Gruß, -- SnowIsWhite 13:59, 16. Jun. 2011 (CEST)