Teoría de la verdad, principalmente mantenida en las ciencias formales y en los sistemas axiomáticos, según la cual una proposición o enunciado es verdadero cuando es compatible con un conjunto coherente de proposiciones o enunciados, o deducible de los axiomas. Así, por ejemplo, la verdad del teorema de Pitágoras reside en primer término, no en su aplicabilidad a la realidad, sino en el hecho de ser una consecuencia deductiva de los axiomas y postulados de Euclides; referido a otro conjunto de axiomas podría ser falso o vacío de significado. Se trata de un caso concreto de aplicación de las propiedades de consistencia (el conjunto de axiomas no lleva lógicamente a una contradicción) y completud (toda proposición o teorema del sistema es deducible de sus axiomas), que exhiben paradigmáticamente los sistemas axiomáticos. Cuando este criterio de verdad se aplica a otros ámbitos, no meramente formales, el conjunto de enunciados aludido es el conjunto de los enunciados que se consideran verdaderos.