En breve:
La solidez significa que usted no puede probar nada de lo que está mal.
Integridad significa que usted puede probar nada de lo que es correcto.
En ambos casos, estamos hablando de una fijos sistema de reglas para la prueba (la que se utiliza para definir la relación $\vdash$ ).
En más detalle: Creo que de $\Sigma$ como un conjunto de hipótesis, y $\Phi$ como una declaración de que estamos tratando de probar. Cuando decimos $\Sigma \models \Phi$, estamos diciendo que $\Sigma$ implica lógicamente $\Phi$, es decir, en cada circunstancia en la que $\Sigma$ es verdadera, entonces el $\Phi$ es cierto. De manera informal, $\Phi$ es "derecho" dado $\Sigma$.
Cuando decimos $\Sigma \vdash \Phi$, por otro lado, debemos tener algún conjunto de reglas de la prueba (a veces llamadas "reglas de inferencia") en la mente. Por lo general, estas reglas tienen la forma "si empiezas con algunas manifestaciones particulares, entonces usted puede obtener estas otras declaraciones". Si usted puede derivarse $\Phi$ a partir de $\Sigma$, entonces decimos que la $\Sigma \vdash \Phi$, o que $\Phi$ es demostrable a partir de $\Sigma$.
Estamos pensando en una prueba como algo que se usa para convencer a los demás, por lo que es importante que las reglas para $\vdash$ mecánica suficiente para que otra persona o un equipo puede comprobar un supuesto de prueba (esto es distinto a decir que la otra persona/equipo podría crear la prueba, lo que hacemos no requieren).
La solidez de los estados: $\Sigma \vdash \Phi$ implica $\Sigma \models \Phi$. Si usted puede probar $\Phi$$\Sigma$, $\Phi$ es cierto dado $\Sigma$. Dicho de otra manera, si $\Phi$ no es cierto (determinado $\Sigma$), entonces usted no puede probar su $\Phi$$\Sigma$. Informalmente: "no Se puede probar nada de lo que está mal."
La integridad de los estados: $\Sigma \models \Phi$ implica $\Sigma \vdash \Phi$. Si $\Phi$ es cierto dado $\Sigma$, entonces usted puede probar $\Phi$$\Sigma$. Informalmente: "Usted puede probar nada de lo que es correcto".
Idealmente, una prueba de sistema es sólido y completo.