自然演绎系统的英文翻译

中文：自然演绎系统