ライスの定理を精緻化したものとしてライス=シャピロの定理がある。この定理はインデックス集合が帰納的可算である為にはある種の有限性を持つことが必要(かつ十分)であることを示す。厳密には、Fは関数空間の部分集合Yを使って「fAはYの元である」の形に書ける性質。あるプログラムAが存在してf=fAと書ける関数fの事を計算可能関数という。Fが自明であるとは、厳密には、「任意の計算可能関数fに対し、fはFを満たす」と「任意の計算可能関数fに対し、fはFを満たさない」の事である。C\}}というクラスを考えればよい。_{e}}と書くことが出来る。3.0のもとで利用可能です。プライバシーデスクトップ。