波斯纳–罗宾逊定理

（数理科学术语）

波斯纳–罗宾逊定理（Posner–Robinson Theorem）是可计算性理论中关于不可解度的定理。设不可计算，则存在集合令。