Mot : décidable
Catégorie : Adj
Définition : Dont on peut décider l'existence, les propriétés.
Domaine : Mathématiques
Exemples : Une proposition, un énoncé, sont dits décidables dans une théorie axiomatique, si on peut les démontrer ou en démontrer la négation dans le cadre de cette théorie.