Un sistema decidible es un sistema formal en el que hay un método efectivo para determinar si cualquier fbf dada es un teorema. Un sistema en el que hay un conjunto de teoremas es un conjunto decidible
La pregunta de si un sistema es decidible con frecuencia se llama el Entscheidungsproblem, o problema de decisión.
(v. sistema formal, teorema)