Ich habe mir eben angesehen, was für Änderungen bei ZFU genau nötig sind. Manche Axiome können bleiben, weil hier Urelementen quasi wie die leere Menge wirken. Die Änderungen halten sich also noch in Grenzen: Nötig sind Änderungen beim Extensionalitätsaxiom, beim Fundierungsaxiom und beim Auswahlaxiom. Ein Subartikel wäre also machbar. Soll ich ihn schreiben?-- Wilfried Neumaier 09:52, 14. Jun. 2011 (CEST)