题目

为保证形式化系统的有效性,下面哪个选项不是形式化系统需要具有的性质()A. 一致性B. 可靠性C. 可判定性D. 完备性

为保证形式化系统的有效性,下面哪个选项不是形式化系统需要具有的性质()

A. 一致性

B. 可靠性

C. 可判定性

D. 完备性

题目解答

答案

B. 可靠性