Zitat Artikel: "Die leere Menge ist in ZF das einzige Urelement. Andere Urelemente sind nur beim allgemeineren originalen Axiom der Bestimmtheit von Zermelo möglich.". Das Axiom der Bestimmtheit aus Zermelos Axiome 1907 stimmt mit dem Extensionalitätsaxiom aus ZF überein. Thomas Limberg (Schmogrow) 08:56, 30. Jan. 2015 (CET)