##  [Decidable Theory](/decidable-theory) 

  ##  [Decidable Theory](https://algebra.quantumdictionary.io/decidable-theory-0) 

  

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

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definition

A theory is decidable if there exists an algorithm that, given any sentence in the theory's language, determines in finite time whether that sentence is a consequence of the theory (i.e., whether the sentence belongs to the theory's set of theorems).