##  [Teoría Decidable](/es/node/63616) 

  ##  [Teoría Decidable](https://algebra.quantumdictionary.io/es/node/63617) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definición

Una teoría es decidible si existe un algoritmo que, dado cualquier enunciado en el lenguaje de la teoría, determina en tiempo finito si ese enunciado es consecuencia de la teoría (es decir, si pertenece al conjunto de teoremas de la teoría).