Mot : déductibilité
Catégorie : N
Genre : Féminin
Définition : Propriété d'une proposition qui peut être obtenue par déduction à l'intérieur d'un système formel.
Domaine : Mathématiques
Exemples : La mathématique pure présente deux caractéristiques : la généralité de son discours - la considération des particuliers existants est exclue - et la déductibilité du discours mathématique - les inférences qui structurent le discours mathématique sont des implications formelles. Wikipédia: Fondements des mathématiques