lastnost formalnih sistemov, ko za katero koli formulo v jeziku sistema obstaja učinkovita metoda za ugotavljanje, ali ta formula pripada nizu resnic sistema ali ne
Logični sistem je odločljiv, če in samo če obstaja algoritem, po katerem za vsako dobro napisano formulo v tem sistemu, obstaja največje končno številoN korakov, po katerih (vsaj) se je algoritem sposoben odločiti, ali je dana formula veljavna ali neveljavna.
Ta matematični članek je škrbina. Pomagajte Wikipediji in ga razširite.