A theory (set of sentences closed under logical consequence) in a fixed logical system is decidable if there is an effective method for determining whether arbitrary formulas are included in the theory.
Теорија (скуп формула затворен у односу на логичке последице) у фиксираном логичком систему је одлучива ако постоји ефективни метод за одређивање да ли произвољне теорије припадају теорији.