，乃依其解答为是的输入之集合。在此情形下，一决定性问题亦等于一形式语言。形式上，决定性问题是一自然数子集A。借由使用哥德尔数，也可学习诸如形式语言的其他集合。非正规的定义决定性问题，就是判别一个给予的数字是否在此集合内。一决定性问题若其A是一个递归集合，则称做可决定的（decidable）或有效可解（effectively solvable）。若其A是一递归可枚举集合则称为部分可决定的（partially decidable）、半可决定的（semidecidable）、可解的（solvable）或可