مجموعة قابلة للحساب

Also known as decidability theory

Set where an algorithm can take a number as an input and can decide whether the number belongs to the set