ZF ist heute eine reine Mengenlehre, dass muss man akzeptieren, hier gilt schon das starke Extensionalitätsaxiom. In ZFU, so kürzt man das originale ZF-System mit Urelementen ab, gilt ein schwächeres Extensionalitätsaxiom. Hier ist auch das Fundierungsaxiom anders formuliert. Lies auch mal obige Diskussionspunkte, die auf Urelemente eingehen (Suchfunktion String F). Da werden Deine Fragen schon beantwortet, wie ich hoffe.-- Wilfried Neumaier 23:05, 13. Jun. 2011 (CEST)