摘要
This paper, using the model RΔ(B)-a generalized Boolean-valued model of the axiom system GB (see [3]), proves: (1) some properties of forcing F (2) two important theorems-Forcing Theorem and Generic Model Theorem (of GB); (3) discussing forcing with proper class.
