曼希爾同構定理(Myhill isomorphism the -orem)遞歸論的一個重要定理.它揭示了遞歸同構與1一化歸間的關係.即:集合A,B遞歸同構，若且唯若A三1B.曼希爾同構定理是曼希爾(Myhill ,J.)於1955年證明的，其內容類似於集合論中的康托爾一施洛德一伯恩施坦定理.
