>>365
「ACのZFに対する相対無矛盾性」というのは
「ACを真とするZFのモデル」「ACを偽とするZFのモデル」
がそれぞれ存在するということです。

モデルは>>352でも云っているように公理的集合論の中でつくられます
この場合はZFの中で考えていると思ったほうがいいでしょう。