不可判定性定理的英文翻译

中文：不可判定性定理