证明系统的英文翻译

中文：证明系统