Un modelo es una interpretación de los símbolos primitivos que hace verdaderos a todos los axiomas.