构造性定义的英文翻译

中文：构造性定义