BSTS / Mantık Terimleri Sözlüğü
yinelgeli sayılabilir küme anlamı İng. recursively enumerable set Alm. aufzaehlbare Menge Fr. ensemble récursivement énumérable
K gibi bir deyim kümesinin yinelgeli sayılabilir olması, K nın ya boş olması ya da işlemlenebilir bir izergenin artalanı olması demektir. || Örn. temel mantıklı bir biçimsel dizgenin bütün kanıtsavlarının kümesi genellikle yinelgeli sayılabilir'dir.