Zu den Entitäten: In der Mengenlehre sind Entitäten eben nur Mengen. Daher muss das Extensionalitätsaxiom für Mengen formuliert werden. Es sind ja nicht alle Entitäten Mengen, sonst bräuchte man kein ZFU. Extension haben ja nur Klassen oder Mengen, keineswegs alle Entitäten. Damit keine Missverständnisse entstehen, muss also nur eine Bemerkung vorweg, dass die gebundenen Variablen in ZF stets für Mengen stehen. Damit ist das Diskursuniversum klar. Und um das ging es Dir ja offenbar in der Diskussion. Ich korrigiere also dementsprechend.-- Wilfried Neumaier 17:44, 6. Feb. 2015 (CET)