Applying forcing method, we show that both are consistent with ZFC, respectively.
用力迫方法证明了它们分别相对于ZFC协调。
youdao
应用推荐
模块上移
模块下移
不移动