"S"。 Q.E.D.根据上述定理直接可得下述引理：定理： HALTING 的补语言是图灵不可识别的。证明： 很显然 HALTING 是图灵可识别语言，若它的补语言也是图灵可识别的，则根据上述定理知 HALTING 是图灵可判定的，这和停机问题中证明的结论矛盾。