Oui, c'est vrai
La vérité formelle, qui est la validité des conclusions d'un système hypothético-déductif, procédant suivant des règles de déduction à partir de postulats et d'axiomes admis. Cette vérité est indépendante du contenu des propositions (voyez l'article logique) et dépend de son accord avec les lois de l'entendement. Dans ce cas, la vérité est une vérité de correspondance, et elle est a priori car elle ne dépend pas de l'expérience.
Ce dernier point permet d'introduire une distinction : les vérités purement formelles et a priori sont appelées des vérités analytiques. Ces vérités sont nécessaires et ne nous apprennent rien sur le monde. Les vérités tirées de l'expérience sont quant à elle des vérités synthétiques, car nous lions des termes qui supposent pour des êtres dont l'existence est contingente.
La vérité métaphysique qui, remontant d'une hypothèse à ses conditions, suppose l'existence d'un référent ontologique existant en soi. Dans ce cas, on distingue vérité absolue et vérité relative.
La vérité d'une croyance ou d'une opinion, qui est la vérité d'une proposition qui s'accorde à un ensemble de croyances qui lui préexistent. Ce genre de vérité est souvent appelé vérité