题目

下列哪几项是保证形式化系统的有效性，需要其具备的性质（）A. 随机性B. 可训练性C. 完备性D. 一致性

下列哪几项是保证形式化系统的有效性，需要其具备的性质（）

A. 随机性

B. 可训练性

C. 完备性

D. 一致性

题目解答

答案

CD
C. 完备性
D. 一致性