演绛系统完备性的英文翻译

英文翻译：【计】 completeness of deduction system