^{(1)}}である。D_{F}}もしくはその補集合はm-困難である。任意の帰納的可算集合を多対一還元可能である。ライスの定理はアクセプタブルでないナンバリングに対しては必ずしも成立しないことに注意しなければならない。0}の指標である」という性質は決定可能である。このことはライスの定理の結論に反する。決定可能なやりかたで二分することの不可能性について述べたものと考えられる。これらの結果の類似性はそれぞれの定理が以下の主張をしていることから言える。i}がその集合に属するかどうかを調べればよい」ことを主張する。i}がその集合に属するかどうかを調べればよい」ことを主張する。類似定理のフォーマルな記述は省略する。