>>382
ああ、上記は独立性でしたね。相対無矛盾性なら
「ACを真とするZFのモデル」を示せばいい。
ゲーデルは>>368のいうようにモデルとして
Lを構成することで示したわけですね。