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.
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.