Définition de décidable :
pouvant être démontré ou réfuté dans une théorie mathématique
Le contraire 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