Moin, habe neue Navigationsleiste ZFC Axiome hinzugefügt. Bislang haben (leider) erst Auswahl- Fundierungsaxiom und die leere Menge eigene Seiten. Vielleicht hift die Leiste langfristig zumindest die Seiten der wichtigsten anderen Axiome zu erstellen. Beim Unendlichkeits- und Potenzmengenaxiom könnte man über eine Weiterleitung nach "induktive Menge" bzw. "Potenzmenge" nachdenken, Gruß -- SnowIsWhite 02:26, 24. Feb. 2011 (CET)