Category:Definitions/Decision Problems

This category contains definitions related to Decision Problems.
Related results can be found in Category:Decision Problems.

Let $\FF$ be a formal system.

The decision problem for $\FF$ is the question as to whether or not there exists an effective procedure for determining whether or not a given well-formed formula of $\FF$ is a theorem of $\FF$.

That is, whether $\FF$ is decidable.