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