"M" 之上。一个公式的真值有时被称为它的可能性。它不能理解为一般意义上概率，它们不是实数而是完全布尔代数的 "B" 的元素。
集合论的布尔值模型.给定一个完全布尔代数 "B"，有一个指示为 "V" 的布尔值模型，它是冯·诺伊曼全集"V" 的布尔取值的类似者。(严格的说，"V" 是真类，所以我们需要适当的重新解释对于模型意味着什么)。非形式的说，我们认为 "V" 是像“布尔值集合”的某种东西；换句话说，布尔值集合，不再有定义分明的元素和非元素，而有带有是这个集合的元素的特定“