Teoría de la verdá, principalmente caltenida nes ciencies formales y nos sistemes axomáticos, según la cual una proposición o enunciáu ye verdaderu cuando ye compatible con un conxuntu coherente de proposiciones o enunciaos, o deducible de los axomes.