曼希爾完備性定理(Myhill completeness theo-rem)揭示創造集與完備集之間關係的定理.該定理斷言:任何創造集一定是m完備的(因此也是1-完備的)，由此可推知，A為創造集，若且唯若A為1一完備的，亦若且唯若A為m完備的.該定理是曼希爾(Myhill , J.)於1955年證明的.
