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.
TDK Mantık Terimleri Sözlüğü