克莱尼–波斯特定理（）是可计算性理论中关于不可解度的定理，声称存在且可从停机问题计算出一对互相不可计算的不可解度。
内容.存在不可解度 formula_1，使 formula_2、formula_3 且 formula_1 互不可计算。