De hecho una teoría es consistente si y sólo si admite al menos un modelo.