Por tanto, un modelo es una estructura donde las oraciones formales de la teoría (es decir, una cadena de signos matemáticos) son interpretables y por tanto las oraciones pueden considerarse como afirmaciones sobre el modelo.