帰納的可算集合(きのうてきかさんしゅうごう、)は、計算理論または再帰理論におけるある種の集合に付与された名前。