Ja, Bestimmtheit Zermelo 1907 = Bestimmtheit Zermelo ZF 1930; gerade 1930 geht er aber von einem Bereich von Mengen und Urelementen aus und sagt im Potenzmengenaxiom U S.30: "An die Stelle der Nullmenge tritt hier ein beliebig ausgewähltes Urelement". ZF im Artikel hat nicht das originale Axiom der Bestimmtheit, sondern eine moderne Variante, die enger ist.-- Wilfried Neumaier 14:12, 30. Jan. 2015 (CET)