Définition de décidable :
pouvant être démontré ou réfuté dans une théorie mathématique
pouvant être démontré ou réfuté dans une théorie mathématique
se dit d'une proposition, d'un énoncé qui ne peut être ni démontré ni réfuté
que l'on ne peut démontrer