decideable

adj

1.
capable of being decided as following or not following from the axioms of a logical system