机器理论证明的英文翻译

中文：机器理论证明