Y para encontrar una estructura que modele el conjunto CONS({φ}) tendrias que encontrar una estructura que modele todos los elementos de CONS({φ}) pero como sabes exactamente todas las cosas que se derivan de ahi? o basta con encontrar una estructura que modele φ? (porq si modela φ entonces por transitiva deberia modelar todos los elementos de CONS({φ})??)