decideable英文釋義capable of being decided as following or not following from the axioms of a logical system