Un sistema formal bien construido satisface el "teorema de validez", que viene a afirmar que cualquier proposición deducible de los axiomas, o teorema del sistema axiomático, se satisface también, en todos los modelos que sean un modelo en el que se satisfacen los axiomas.