>>584
＞公理系A1 ある定義域では矛盾するがその他の定義域では無矛盾

モデルが存在するなら無矛盾じゃん。
無矛盾→無矛盾の例にしかなってないよそれ。