布尔值模型方法(Boolean-valued model ap-proach)集合论独立性证明的基本方法之一自从1963年美国数学家科恩(Cohen，P.J.)利用他所创立的力迫法，证明了连续统假设相对于ZFC公理系统的独立性以及选择公理相对于AFC公理系统的独立性之后，人们对于力迫法给以极大的关注，试图利用力迫法证明集合论以及其他数学分支中的独立性问题.然而，科恩原来的方法较为繁琐，且方法本身有相当大的局限性.1964年至1967年之间，由以色列学者索洛韦(Solovay， R. M. )、斯科特(Scott ，D. S. )、沃朋卡(Vopen}ca， P.)等人对科恩的方法进行了较大的改进，引人了布尔值模型的概念，避免了科恩原来方法中构造兼纳模型的繁琐细节，使得模型扩充过程变得相当自然而直观.力迫推理也更易于操作.从科恩对连续统假设独立性的证明过程可以看出，要想设计一个集合论模型满足ZFC + }CH，构造一个比V小的模型是不可行的(参见“内模型法”)，必须对V进行扩充，而V已经包括了所有集合，因此，从直观上讲，在ZFC系统内构造出比V还大的类模型似乎是不可能的.1965年，索洛