able to be decided (of a formal theory) having the property that it is possible by a mechanistic procedure to determine whether or not any well-formed formula is a theorem
WordReference Random House Unabridged Dictionary of American English © 2025
de•cid•a•ble
(di sī′də bəl),USA pronunciation adj.
de•cid′a•bil′i•ty, n.
- capable of being decided.
- Philosophy[Logic.](of an axiom, proposition, etc.) having the property that its consistency or inconsistency with the axioms of a given logical system is determinable.
- decide + -able 1585–95
Collins Concise English Dictionary © HarperCollins Publishers::