一个系统（设备、部件或元件）在规定的时间和条件下无故障地工作的性质。见“可靠性理论”。数理逻辑上指形式系统中的一切可证公式（即形式定理），都是有效的公式（即在任何解释下都为真）。