Colecciones definibles sin miembros definibles (en ZF)

Question

Denote teoría de conjuntos de Zermelo Fraenkel sin elección por ZF. ¿Es cierto lo siguiente? En ZF, cada clase A no vacía definible tiene un miembro definible; es decir, para cada clase$A = \lbrace x : \phi(x)\rbrace$ para la que ZF prueba que "A no está vacía", ¿hay una clase$a = \lbrace x : \psi(x)\rbrace$ tal que ZF prueba que "a pertenece a A"?