Petr Vopěnka 在1960年代为了帮助理解 Paul Cohen 的力迫方法而介入的。
定义.固定一个完全布尔代数 "B" 和一阶语言 "L"，后者由一组常量符号、函数符号和关系符号构成。"L" 的布尔值模型因此就由全集"M"，它是元素(或名字)的集合，和对这些符号的释义组成。特别是，这个模型必须为 "L" 的每个常量符号指派一个 "M" 的元素，并为 "L" 的每个 "n"-元函数符号 "f" 和 "n"-元组 <a...,a> 中的每一个指派 "M" 的元素，这个