Je ne m'y connais pas dans le domaine. Toutefois, je me doute qu'utiliser le langage mathématique permet de lever le flou des relations entre les langues.
Pourquoi vouloir absolument utiliser le mot "vrai" (ou "true", ou "wahr", etc.) ou son éventuel équivalent en langage mathématique si on n'en a pas besoin.
-----