general decidability

Мат. общая разрешимость