Un sistema de axiomas que admite un modelo es un sistema de axiomas consistente.