La decidibilidad es una propiedad que debe reunir todo cálculo en el seno de un sistema formal que consiste en que dicho cálculo debe poder establecer si una determinada fórmula perteneciente a su lenguaje fomal es o no un teorema de dicho cálculo.

(v. cálculo, sistema decidible, sistema formal, teorema)