推理规则的完备性

_

completeness of inference rule, inference rule completeness