Aunque cada descripción se refiera a un conjunto diferente según el modelo, ¿las descripciones son siempre las mismas en todos los modelos de NBGU+la colección de todos los átomos forman un conjunto? Es decir, el \( {x/ \phi(x)} \) donde \( \phi(x) \) es cualquier fórmula con x como la única variable libre? existe y será conjunto o no independientemente del modelo que escojamos, o será clase propia en algunos modelos y en otro un conjunto (soy consciente de que la misma descripción puede describir un conjunto o clase propia distinta en cada modelo