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.