(s)decideablecapable of being decided as following or not following from the axioms of a logical system