Buenas,
Se podría probar que SENT - B es inconsistente tomando un predicado clausurado y su negación justificando que ambos no son contradicciones, es decir que pertenecen a a SENT-B. Luego, por eliminación del bottom SENT-B deriva a bottom -> SENT-B inconsistente. Y por lo que me comentas como Gama es inconsistente, MOD(Gama) es distinto de vacío. Por lo que llegas a un absurdo diciendo que un conjunto con elementos esta incluido en el vacío?
Gracias por la respuesta