Zur Mengendefinition: Sie würde auch in ZF gleich lauten wie in ZFU; das steht ja dort auch in einer Bemerkung. Aber beim Diskursuniversum 'Menge' ist sie hier nicht nötig.-- Wilfried Neumaier 18:12, 6. Feb. 2015 (CET)