forcing

Applying forcing method, we show that both are consistent with ZFC, respectively.

用力迫方法证明了它们分别相对于ZFC协调。