p），是一个介于0到1之间的数字。例如有关一个人对于「身材高大的人」集合的归属度不是简单的是或不是，而是一个数值，例如0.75。
力迫.保罗·寇恩的一些工作是寻找一个ZFC的模型，使得选择公理或连续统假设失效，在这过程中他发明了力迫。力迫法是一种扩张模型的方法，在集合论的某模型中加入一些额外的集合，来产生一个较大的模型，这样的模型会具有预期的性质（依赖于具体构造方式和原模型）。例如，在保罗·寇恩的构造中，他给原模型附加了额外的自然数子集，而没有更改原模型的任何基数。力迫也是利用有穷