décidable adjectif : Se dit d'une formule qui est démontrable ou falsifiable dans une théorie déductive. Synonymes: indécidable
