自然数の集合Aが計算可能（帰納的、決定可能）であるとは、数nに関する計算可能関数fがあり、nがAに属する場合はf(n)↓=1{\displaystylef(n)\downarrow=1}、そうでない場合はf(n)↓=0{\displaystylef(n)\downarrow=0}となることをいう。
自然数的集合A被叫做可计算的（同义词：递归的，可决定的），如果有可计算函数f使得对于每个自然数n，f(n)↓=1{\displaystylef(n)\downarrow=1}如果n在A中，并且f(n)↓=0{\displaystylef(n)\downarrow=0}如果n不在A中。