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