Extra-Artikel sind Spezialartikel, die das vertiefen, was hier im Zentralartikel nicht genannt ist. Das ist Ok, und so sehen auch die bisher existenten Spezialartikel aus. Hier jedoch sollte das Wichtigste schon erklärt sein, damit man sich nicht durchklicken muss und allerhand Ballast studieren muss. Daher halte ich die radikale Auslagerung nicht für gut. ZF ist zentral und sollte ein Hauptartikel sein, der die erste ausreichende Information gibt. Natürlich muss das präzise ZF-System im Artikel die Hauptsache sein. Ich halte auch den Artikel für gut verständlich, verstehe aber auch Probleme anderer. Die Verbalisierung ist jedenfalls nicht so präzise, sondern lässt sich als ZF oder ZFU interpretieren. Gerade das verbale Extensionalitätsaxiom ist doppeldeutig oder sogar besser in ZFU wiedergegeben als in ZF. Nicht umsonst war ZF ursprünglich ZFU! Aus dem verbalen Extensionalitätsaxiom folgt nämlich nicht, dass alle Objekte Mengen sind! Ich arbeite einen Vorschlag aus, dass man sieht, was ich meine. Dann können wir weiter diskutieren. In den nächsten Wochen habe ich aber keine Zeit.-- Wilfried Neumaier 19:57, 16. Jun. 2011 (CEST)