column value
英文名稱 completeness of rules of inference
中文名稱 推理規則的完備性