полная вычислимость

Мат. complete computability