ちょっと初歩的な質問をさせて貰いますが,
｢ACがZFから独立である事を証明するには,ZF+￢ACのモデルの存在を言えばいい｣って言うのは何故ですか？