déductibilité (N) — déduction (N)
déductibilité : Propriété d'une proposition qui peut être obtenue par déduction à l'intérieur d'un système formel.