コンプリート・ナンバリング
計算可能性理論において、コンプリート・ナンバリング(英: complete numbering)はアクセプタブル・ナンバリングの一般化であり、1963年にアナトリー・マルツェフによって導入された。クリーネの再帰定理やライスの定理などは、元々はアクセプタブル・ナンバリングを持つ計算可能関数の集合に対して証明されたものであるが、これらはコンプリート・ナンバリングを持つ任意の集合でも成立する。
任意のシングルトンに対するナンバリングはコンプリートである
自然数上の恒等関数はコンプリートでない
アクセプタブル・ナンバリングはプリコンプリートである