报告人的报告主要对科恩（Cohen）力迫法的基础理论做一简要介绍，涉及两个方面内容：一为力迫法的基础理论，在这一部分报告人从连续统问题入手，导出力迫法的由来，并将力迫法“化大为小、分儿治之”，分成三部分讲解：力迫语言（forcing language）、可接受的滤子（generic filters）以及可接受的模型（generic models），并在第三部分证明了力迫基础理论的核心定理，即力迫定理与可接受模型定理；二为连续统假设，即CH，的独立性，在这一部分报告人用力迫法构造出ZFC与CH以及ZFC与否定的CH的两类模型，从而仅用力迫法一举证明了连续统假设与其否命题相对于ZFC的一致性（历史上，CH的一致性是由哥德尔（G?del）于1938年通过构造内模型，即可构造论域L，的方法证明的）。

最后，报告人以力迫法为例，就学术理论研究的某些具体问题谈了下自己的感受，并与各位师生做了简要探讨。