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

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

A、完备性

B、可靠性

C、一致性

D、可判定性

答案解析：

完备性：完备性意味着形式系统能够涵盖特定领域内所有合理的逻辑推导和结论。如果一个形式系统是完备的，那么对于该系统所描述领域中的任何一个陈述，要么这个陈述本身，要么它的否定，都可以在系统内被证明。完备性保证了系统在逻辑上的全面性，能够处理相关领域内的所有逻辑情况，所以是形式化系统有效性的重要性质，A选项不符合题意。

可靠性：可靠性指的是形式化系统中可证明的命题在相应的语义解释下都是真实成立的。即系统所推导出来的结论在实际的逻辑和语义层面是合理且正确的，它是对系统推导结果正确性的一种保障，并非形式化系统有效性的必要性质。比如某些特定用途的形式系统，可能为了达成特定目的，牺牲一定可靠性来换取其他方面特性，所以B选项符合题意。

一致性：一致性要求形式化系统不能同时推导出一个命题及其否定。如果一个系统出现既可以证明某个命题成立，又能证明其否定成立的情况，那这个系统就是自相矛盾的，也就失去了有效性，所以一致性是形式化系统必须具备的性质，C选项不符合题意。

可判定性：可判定性指存在一个能在有限步骤内判定系统中任一命题是否为定理的算法。虽然不是所有形式化系统都具备可判定性，但在一些情况下，若一个形式化系统具有可判定性，那么对于该系统中的命题，我们可以通过算法确定其是否能被证明，这对于系统的有效性判断有积极意义，所以它也是形式化系统追求的性质之一，D选项不符合题意。