帰納的可算集合
自然数の集合 S について、定義域が S と正確に一致するような何らかの部分再帰関数(部分計算可能関数)f が存在するとき、S は帰納的可算であると言う。つまり f が定義される必要十分条件は、f への入力が S の元であることである。
この定義は任意の可算集合 A に拡張できる。そのためには、A の元をゲーデル数で表し、もし対応するゲーデル数の集合が帰納的可算ならば A の何らかの部分集合が帰納的可算になることを言えば良い。