完
全
性
wán quán xìng
基本释义
形式系统的基本性质之一
英文翻译
Completeness