La existencia de un modelo implica que una teoría lógica es consistente.