Definition, synonyms and related words
A decision problem of finding a way to decide whether a formula is true or provable within a given system.