弗里德堡–穆奇尼克定理（）是可计算性理论中关于不可解度的定理，声称存在一对互相不可计算的递归可枚举不可解度。
内容.存在递归可枚举不可解度 formula_1 互不可计算。