1. La vérité est un terme de logique, un terme de métalangage.
On parlera de vérité d'une proposition à propos de sa cohérence ou de sa relation à un état de choses, un donné.
Une proposition est déclarée vraie -c'est-à-dire s'impose à l'assentiment-, au terme :
-d'un procès de démonstration : vérité formelle, établie au sein des systèmes hypothético-déductifs, parmi lesquels les mathématiques et leurs théorèmes.
Un langage formel comprend un vocabulaire de base formé des termes à partir desquels seront constitués les autres par définition; des règles de formation qui permettent de combiner ces termes de façon à constituer des énoncés autorisés (propositions); des règles de transformation qui permettent de tirer de certaines propositions de nouvelles propositions équivalentes.
-d'un procès de vérification, dans le domaine des sciences de la nature, à savoir :
a) d'une conjecture relative à un évènement, à un objet physique, un comportement ;
( Les sciences du réel, à la différence des systèmes formels, sont constituées de propositions dotées de contenu.
Certains de leurs termes sont placés en correspondance directement ou indirectement avec un donné distinct d'eux, objet physique, événement, comportement...
Les propositions où ces termes interviennent ont pour but de les décrire, de les expliquer ou de les prédire d'après des règles sémantiques qui constituent la définition empirique desdits termes )
b) d'une loi, relative à une classe de phénomènes étudiés dans des circonstances bien déterminées ;
c) d'une théorie, dans le contexte d'un effort de synthèse explicative embrassant l'ensemble d'une question.
-d'un procès d'instruction, dans le cadre d'une enquête judiciaire, par production et / ou reconstitution des faits sur la base d' indices et du relevé critique des témoignages.
2. Au sens strict, seules les propositions de la première espèce -les vérités de définition- peuvent être dites démontrables.
L'un des ressorts de la preuve -ce