Bonjour,

Quelqu'un peut il me donner la traduction française de "soundness" en anglais dans le contexte de la logique (et donc Weak or strong soundness)?

Je présume que c'est "intégrité", mais je trouve peu de références correspondantes pour "intégrité logique" (en dehors de l'informatique)

Y a t'il un problème derrière ce problème (peu de références en français) ?