numeralwise decidable

Мат. нумерически разрешимый